Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabP+Exact 2024-07-11 | SAT | 6643255 | 3585.56 | 3596.08 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran14x18.opb |
| MD5SUM | 5c8d8ce64a950076da07daccd75facb4 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4052992 |
| Best CPU time to get the best result obtained on this benchmark | 71226.5 |
| 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 | 7812 |
| Total number of constraints | 284 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 284 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 540 |
| Number of terms in the objective function | 7812 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1450667950777 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1450667950777 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3585.49/3596.06 o 29800372 3585.49/3596.06 o 14340768 3585.49/3596.06 o 14215840 3585.49/3596.06 o 14074528 3585.49/3596.06 o 13918880 3585.49/3596.06 o 13810336 3585.49/3596.06 o 13659808 3585.49/3596.06 o 13504160 3585.49/3596.06 o 13370016 3585.49/3596.06 o 13263520 3585.49/3596.06 o 13179552 3585.49/3596.06 o 13090464 3585.49/3596.06 o 12947104 3585.49/3596.06 o 12811936 3585.49/3596.06 o 12746587 3585.49/3596.06 o 12746551 3585.49/3596.06 o 12746544 3585.49/3596.06 o 12746516 3585.49/3596.06 o 12746505 3585.49/3596.06 o 12746498 3585.49/3596.06 o 12617474 3585.49/3596.06 o 12519170 3585.49/3596.06 o 12380930 3585.49/3596.06 o 12260098 3585.49/3596.06 o 12126978 3585.49/3596.06 o 12030722 3585.49/3596.06 o 11954946 3585.49/3596.06 o 11851522 3585.49/3596.06 o 11778818 3585.49/3596.06 o 11637506 3585.49/3596.06 o 11522818 3585.49/3596.06 o 11405058 3585.49/3596.06 o 11243266 3585.49/3596.06 o 11110146 3585.49/3596.06 o 10961666 3585.49/3596.06 o 10869506 3585.49/3596.06 o 10721026 3585.49/3596.06 o 10570498 3585.49/3596.06 o 10420994 3585.49/3596.06 o 10420993 3585.49/3596.06 o 10420992 3585.49/3596.06 o 10420525 3585.49/3596.06 o 10420523 3585.49/3596.06 o 10420459 3585.49/3596.06 o 10420449 3585.49/3596.06 o 10325833 3585.49/3596.06 o 10293316 3585.49/3596.06 o 10280016 3585.49/3596.06 o 10280014 3585.49/3596.06 o 10279950 3585.49/3596.06 o 10245651 3585.49/3596.06 o 10245650 3585.49/3596.06 o 10222427 3585.49/3596.06 o 10222417 3585.49/3596.06 o 10222404 3585.49/3596.06 o 10222392 3585.49/3596.06 o 10222391 3585.49/3596.06 o 10222390 3585.49/3596.06 o 10222370 3585.49/3596.06 o 9987874 3585.49/3596.06 o 9880354 3585.49/3596.06 o 9880349 3585.49/3596.06 o 9880339 3585.49/3596.06 o 9805409 3585.49/3596.06 o 9805165 3585.49/3596.06 o 9805160 3585.49/3596.06 o 9727336 3585.49/3596.06 o 9727326 3585.49/3596.06 o 9727316 3585.49/3596.06 o 9727314 3585.49/3596.06 o 9727306 3585.49/3596.07 o 9703770 3585.49/3596.07 o 9703768 3585.49/3596.07 o 9703762 3585.49/3596.07 o 9702610 3585.49/3596.07 o 9697490 3585.49/3596.07 o 9697406 3585.49/3596.07 o 9604243 3585.49/3596.07 o 9604240 3585.49/3596.07 o 9604236 3585.49/3596.07 o 9604233 3585.49/3596.07 o 9604226 3585.49/3596.07 o 9604223 3585.49/3596.07 o 9604222 3585.49/3596.07 o 9604212 3585.49/3596.07 o 9604210 3585.49/3596.07 o 9604208 3585.49/3596.07 o 9604205 3585.49/3596.07 o 9604202 3585.49/3596.07 o 9601671 3585.49/3596.07 o 9601669 3585.49/3596.07 o 9601637 3585.49/3596.07 o 9601573 3585.49/3596.07 o 9601571 3585.49/3596.07 o 9601569 3585.49/3596.07 o 9601568 3585.49/3596.07 o 9601540 3585.49/3596.07 o 9508356 3585.49/3596.07 o 9455115 3585.49/3596.07 o 9452475 3585.49/3596.07 o 9387489 3585.49/3596.07 o 9387477 3585.49/3596.07 o 9386453 3585.49/3596.07 o 9386451 3585.49/3596.07 o 9386449 3585.49/3596.07 o 9386448 3585.49/3596.07 o 9331107 3585.49/3596.07 o 9331105 3585.49/3596.07 o 9331073 3585.49/3596.07 o 9331009 3585.49/3596.07 o 9331001 3585.49/3596.07 o 9330993 3585.49/3596.07 o 9330988 3585.49/3596.07 o 9330828 3585.49/3596.07 o 9330818 3585.49/3596.07 o 9330814 3585.49/3596.07 o 9330812 3585.49/3596.07 o 9330808 3585.49/3596.07 o 9330803 3585.49/3596.07 o 9330163 3585.49/3596.07 o 9329843 3585.49/3596.07 o 9329723 3585.49/3596.07 o 9329721 3585.49/3596.07 o 9329717 3585.49/3596.07 o 9329709 3585.49/3596.07 o 9329708 3585.49/3596.07 o 9329707 3585.49/3596.07 o 9319206 3585.49/3596.07 o 9319196 3585.49/3596.07 o 9319192 3585.49/3596.07 o 9319190 3585.49/3596.07 o 9319186 3585.49/3596.07 o 9319088 3585.49/3596.07 o 9319080 3585.49/3596.07 o 9272632 3585.49/3596.07 o 9272622 3585.49/3596.07 o 9272110 3585.49/3596.07 o 9193155 3585.49/3596.07 o 9189689 3585.49/3596.07 o 9139513 3585.49/3596.07 o 9139493 3585.49/3596.07 o 9055525 3585.49/3596.07 o 9055485 3585.49/3596.07 o 9055389 3585.49/3596.07 o 9055369 3585.49/3596.07 o 9027313 3585.49/3596.07 o 9027309 3585.49/3596.07 o 9027273 3585.49/3596.07 o 9003585 3585.49/3596.07 o 9003583 3585.49/3596.07 o 9003582 3585.49/3596.07 o 9003581 3585.49/3596.07 o 8945769 3585.49/3596.07 o 8945748 3585.49/3596.07 o 8945739 3585.49/3596.07 o 8805451 3585.49/3596.07 o 8805446 3585.49/3596.07 o 8805438 3585.49/3596.07 o 8746496 3585.49/3596.07 o 8746494 3585.49/3596.07 o 8746491 3585.49/3596.07 o 8746486 3585.49/3596.07 o 8746478 3585.49/3596.07 o 8746475 3585.49/3596.07 o 8746473 3585.49/3596.07 o 8746471 3585.49/3596.07 o 8746469 3585.49/3596.07 o 8746437 3585.49/3596.07 o 8746421 3585.49/3596.07 o 8746415 3585.49/3596.07 o 8745923 3585.49/3596.07 o 8745920 3585.49/3596.07 o 8745917 3585.49/3596.07 o 8745914 3585.49/3596.07 o 8745908 3585.49/3596.07 o 8742836 3585.49/3596.07 o 8742821 3585.49/3596.07 o 8742815 3585.49/3596.07 o 8742812 3585.49/3596.07 o 8742791 3585.49/3596.07 o 8742743 3585.49/3596.07 o 8742695 3585.49/3596.07 o 8742692 3585.49/3596.07 o 8742674 3585.49/3596.07 o 8742671 3585.49/3596.07 o 8742668 3585.49/3596.07 o 8740620 3585.49/3596.07 o 8740611 3585.49/3596.07 o 8740541 3585.49/3596.07 o 8740285 3585.49/3596.07 o 8740223 3585.49/3596.07 o 8740221 3585.49/3596.07 o 8740219 3585.49/3596.07 o 8740218 3585.49/3596.07 o 8739706 3585.49/3596.07 o 8739194 3585.49/3596.07 o 8739193 3585.49/3596.07 o 8739191 3585.49/3596.07 o 8658806 3585.49/3596.07 o 8658800 3585.49/3596.07 o 8658032 3585.49/3596.07 o 8652495 3585.49/3596.07 o 8652439 3585.49/3596.07 o 8652215 3585.49/3596.07 o 8652103 3585.49/3596.07 o 8651847 3585.49/3596.07 o 8651831 3585.49/3596.07 o 8651830 3585.49/3596.07 o 8651823 3585.49/3596.07 o 8651818 3585.49/3596.07 o 8651792 3585.49/3596.07 o 8651785 3585.49/3596.07 o 8651783 3585.49/3596.07 o 8651781 3585.49/3596.07 o 8623134 3585.49/3596.07 o 8623120 3585.49/3596.07 o 8614928 3585.49/3596.07 o 8614924 3585.49/3596.07 o 8614920 3585.49/3596.07 o 8614913 3585.49/3596.07 o 8614908 3585.49/3596.07 o 8614899 3585.49/3596.07 o 8614898 3585.49/3596.07 o 8614862 3585.49/3596.07 o 8614855 3585.49/3596.07 o 8614854 3585.49/3596.07 o 8614852 3585.49/3596.07 o 8613596 3585.49/3596.07 o 8613572 3585.49/3596.07 o 8613302 3585.49/3596.07 o 8613301 3585.49/3596.07 o 8613287 3585.49/3596.07 o 8523036 3585.49/3596.07 o 8523033 3585.49/3596.07 o 8485401 3585.49/3596.07 o 8440761 3585.49/3596.07 o 8440733 3585.49/3596.07 o 8433797 3585.49/3596.07 o 8433783 3585.49/3596.07 o 8433773 3585.49/3596.07 o 8433772 3585.49/3596.07 o 8433771 3585.49/3596.07 o 8433757 3585.49/3596.07 o 8433752 3585.49/3596.07 o 8433747 3585.49/3596.07 o 8433741 3585.49/3596.07 o 8411649 3585.49/3596.07 o 8411603 3585.49/3596.07 o 8411596 3585.49/3596.07 o 8411594 3585.49/3596.07 o 8411587 3585.49/3596.07 o 8411585 3585.49/3596.07 o 8411578 3585.49/3596.07 o 8411576 3585.49/3596.07 o 8411569 3585.49/3596.07 o 8343482 3585.49/3596.07 o 8343472 3585.49/3596.07 o 8343447 3585.49/3596.07 o 8343440 3585.49/3596.07 o 8343431 3585.49/3596.07 o 8343424 3585.49/3596.07 o 8343415 3585.49/3596.07 o 8343360 3585.49/3596.07 o 8343351 3585.49/3596.07 o 8343328 3585.49/3596.07 o 8342816 3585.49/3596.07 o 8342792 3585.49/3596.07 o 8342780 3585.49/3596.07 o 8342746 3585.49/3596.07 o 8342740 3585.49/3596.07 o 8342737 3585.49/3596.07 o 8337617 3585.49/3596.07 o 8337616 3585.49/3596.07 o 8337613 3585.49/3596.07 o 8337610 3585.49/3596.07 o 8337607 3585.49/3596.07 o 8337351 3585.49/3596.07 o 8337340 3585.49/3596.07 o 8336764 3585.49/3596.07 o 8336746 3585.49/3596.07 o 8336743 3585.49/3596.07 o 8336741 3585.49/3596.07 o 8336727 3585.49/3596.07 o 8336720 3585.49/3596.07 o 8336718 3585.49/3596.07 o 8287061 3585.49/3596.07 o 8287045 3585.49/3596.07 o 8287044 3585.49/3596.07 o 8287041 3585.49/3596.07 o 8287034 3585.49/3596.07 o 8287032 3585.49/3596.07 o 8286976 3585.49/3596.07 o 8286968 3585.49/3596.07 o 8286966 3585.49/3596.07 o 8286965 3585.49/3596.07 o 8286955 3585.49/3596.07 o 8286946 3585.49/3596.07 o 8286937 3585.49/3596.07 o 8286930 3585.49/3596.07 o 8286916 3585.49/3596.07 o 8286913 3585.49/3596.07 o 8286906 3585.49/3596.07 o 8286904 3585.49/3596.07 o 8286902 3585.49/3596.07 o 8286898 3585.49/3596.07 o 8286226 3585.49/3596.07 o 8286130 3585.49/3596.07 o 8286102 3585.49/3596.07 o 8285990 3585.49/3596.07 o 8285962 3585.49/3596.07 o 8273930 3585.49/3596.07 o 8273926 3585.49/3596.07 o 8273924 3585.49/3596.07 o 8273922 3585.49/3596.07 o 8273916 3585.49/3596.07 o 8273914 3585.49/3596.07 o 8273910 3585.49/3596.07 o 8271324 3585.49/3596.07 o 8271308 3585.49/3596.07 o 8271287 3585.49/3596.07 o 8271283 3585.49/3596.07 o 8271255 3585.49/3596.07 o 8220472 3585.49/3596.07 o 8220465 3585.49/3596.07 o 8220458 3585.49/3596.07 o 8220449 3585.49/3596.07 o 8220431 3585.49/3596.07 o 8220250 3585.49/3596.07 o 8220241 3585.49/3596.07 o 8220232 3585.49/3596.07 o 8220177 3585.49/3596.07 o 8220170 3585.49/3596.07 o 8220161 3585.49/3596.07 o 8220159 3585.49/3596.07 o 8220155 3585.49/3596.07 o 8220113 3585.49/3596.07 o 8211921 3585.49/3596.07 o 8211915 3585.49/3596.07 o 8211914 3585.49/3596.07 o 8211898 3585.49/3596.07 o 8211850 3585.49/3596.07 o 8211848 3585.49/3596.07 o 8211840 3585.49/3596.07 o 8211834 3585.49/3596.07 o 8211823 3585.49/3596.07 o 8211821 3585.49/3596.07 o 8211818 3585.49/3596.07 o 8211805 3585.49/3596.07 o 8211797 3585.49/3596.07 o 8211605 3585.49/3596.07 o 8211603 3585.49/3596.07 o 8211601 3585.49/3596.07 o 8211595 3585.49/3596.07 o 8211589 3585.49/3596.07 o 8211583 3585.49/3596.07 o 8211577 3585.49/3596.07 o 8211571 3585.49/3596.07 o 8211487 3585.49/3596.07 o 8211481 3585.49/3596.07 o 8211225 3585.49/3596.07 o 8211222 3585.49/3596.07 o 8211210 3585.49/3596.07 o 8210698 3585.49/3596.07 o 8210697 3585.49/3596.07 o 8210665 3585.49/3596.07 o 8210489 3585.49/3596.07 o 8210481 3585.49/3596.07 o 8210417 3585.49/3596.07 o 8210413 3585.49/3596.07 o 8210397 3585.49/3596.07 o 8210393 3585.49/3596.07 o 8210389 3585.49/3596.07 o 8210355 3585.49/3596.07 o 8209971 3585.49/3596.07 o 8209907 3585.49/3596.07 o 8209905 3585.49/3596.07 o 8209903 3585.49/3596.07 o 8209896 3585.49/3596.07 o 8209864 3585.49/3596.07 o 8209852 3585.49/3596.07 o 8029628 3585.49/3596.07 o 8029616 3585.49/3596.07 o 8029608 3585.49/3596.07 o 8029590 3585.49/3596.07 o 8013462 3585.49/3596.07 o 7990934 3585.49/3596.07 o 7990630 3585.49/3596.07 o 7990550 3585.49/3596.07 o 7989437 3585.49/3596.07 o 7989429 3585.49/3596.07 o 7985845 3585.49/3596.07 o 7985838 3585.49/3596.07 o 7985831 3585.49/3596.07 o 7985824 3585.49/3596.07 o 7985817 3585.49/3596.07 o 7985803 3585.49/3596.07 o 7985712 3585.49/3596.07 o 7985705 3585.49/3596.07 o 7985691 3585.49/3596.07 o 7985661 3585.49/3596.07 o 7985621 3585.49/3596.07 o 7985617 3585.49/3596.07 o 7985616 3585.49/3596.07 o 7985613 3585.49/3596.07 o 7985612 3585.49/3596.07 o 7985608 3585.49/3596.07 o 7985607 3585.49/3596.07 o 7985543 3585.49/3596.07 o 7985511 3585.49/3596.07 o 7985479 3585.49/3596.07 o 7985223 3585.49/3596.07 o 7985095 3585.49/3596.07 o 7985091 3585.49/3596.07 o 7985081 3585.49/3596.07 o 7985065 3585.49/3596.07 o 7985051 3585.49/3596.07 o 7963801 3585.49/3596.07 o 7925593 3585.49/3596.07 o 7925497 3585.49/3596.07 o 7925433 3585.49/3596.07 o 7925400 3585.49/3596.07 o 7911064 3585.49/3596.07 o 7911057 3585.49/3596.07 o 7911041 3585.49/3596.07 o 7911029 3585.49/3596.07 o 7906933 3585.49/3596.07 o 7906928 3585.49/3596.07 o 7906896 3585.49/3596.07 o 7906773 3585.49/3596.07 o 7906766 3585.49/3596.07 o 7906638 3585.49/3596.07 o 7906627 3585.49/3596.07 o 7906583 3585.49/3596.07 o 7906580 3585.49/3596.07 o 7906571 3585.49/3596.07 o 7906557 3585.49/3596.07 o 7906551 3585.49/3596.07 o 7906540 3585.49/3596.07 o 7906528 3585.49/3596.07 o 7906525 3585.49/3596.07 o 7906524 3585.49/3596.07 o 7906521 3585.49/3596.07 o 7906513 3585.49/3596.07 o 7906504 3585.49/3596.07 o 7906501 3585.49/3596.07 o 7906497 3585.49/3596.07 o 7906494 3585.49/3596.07 o 7906487 3585.49/3596.07 o 7906473 3585.49/3596.07 o 7906472 3585.49/3596.07 o 7906469 3585.49/3596.07 o 7906466 3585.49/3596.07 o 7906459 3585.49/3596.07 o 7906452 3585.49/3596.07 o 7906447 3585.49/3596.07 o 7906351 3585.49/3596.07 o 7906303 3585.49/3596.07 o 7905727 3585.49/3596.07 o 7903487 3585.49/3596.07 o 7903451 3585.49/3596.07 o 7903450 3585.49/3596.07 o 7903448 3585.49/3596.07 o 7903439 3585.49/3596.07 o 7903411 3585.49/3596.07 o 7903409 3585.49/3596.07 o 7901361 3585.49/3596.07 o 7901317 3585.49/3596.07 o 7901297 3585.49/3596.07 o 7901295 3585.49/3596.07 o 7901293 3585.49/3596.07 o 7901291 3585.49/3596.07 o 7896053 3585.49/3596.07 o 7896051 3585.49/3596.07 o 7896049 3585.49/3596.07 o 7804910 3585.49/3596.07 o 7804782 3585.49/3596.07 o 7804775 3585.49/3596.07 o 7804735 3585.49/3596.07 o 7804727 3585.49/3596.07 o 7804663 3585.49/3596.07 o 7804623 3585.49/3596.07 o 7804609 3585.49/3596.07 o 7804385 3585.49/3596.07 o 7802817 3585.49/3596.07 o 7796673 3585.49/3596.07 o 7681985 3585.49/3596.07 o 7681949 3585.49/3596.07 o 7681853 3585.49/3596.07 o 7681841 3585.49/3596.07 o 7681829 3585.49/3596.07 o 7681745 3585.49/3596.07 o 7681601 3585.49/3596.07 o 7681589 3585.49/3596.07 o 7681565 3585.49/3596.07 o 7681259 3585.49/3596.07 o 7681247 3585.49/3596.07 o 7681225 3585.49/3596.07 o 7681209 3585.49/3596.07 o 7681158 3585.49/3596.07 o 7681134 3585.49/3596.07 o 7681131 3585.49/3596.07 o 7681122 3585.49/3596.07 o 7680951 3585.49/3596.07 o 7680942 3585.49/3596.07 o 7680918 3585.49/3596.07 o 7680912 3585.49/3596.07 o 7680909 3585.49/3596.07 o 7680897 3585.49/3596.07 o 7680873 3585.49/3596.07 o 7679337 3585.49/3596.07 o 7679334 3585.49/3596.07 o 7679325 3585.49/3596.07 o 7679322 3585.49/3596.07 o 7679298 3585.49/3596.07 o 7679289 3585.49/3596.07 o 7679277 3585.49/3596.07 o 7672539 3585.49/3596.07 o 7672528 3585.49/3596.07 o 7672511 3585.49/3596.07 o 7672508 3585.49/3596.07 o 7672507 3585.49/3596.07 o 7672502 3585.49/3596.07 o 7672499 3585.49/3596.07 o 7672491 3585.49/3596.07 o 7672404 3585.49/3596.07 o 7672398 3585.49/3596.07 o 7672395 3585.49/3596.07 o 7672385 3585.49/3596.07 o 7672380 3585.49/3596.07 o 7672375 3585.49/3596.07 o 7672370 3585.49/3596.07 o 7672322 3585.49/3596.07 o 7668211 3585.49/3596.07 o 7668210 3585.49/3596.07 o 7668201 3585.49/3596.07 o 7668183 3585.49/3596.07 o 7668165 3585.49/3596.07 o 7668147 3585.49/3596.07 o 7668138 3585.49/3596.07 o 7668129 3585.49/3596.07 o 7624065 3585.49/3596.07 o 7624047 3585.49/3596.07 o 7624038 3585.49/3596.07 o 7624029 3585.49/3596.07 o 7624011 3585.49/3596.07 o 7624002 3585.49/3596.07 o 7623993 3585.49/3596.07 o 7623984 3585.49/3596.07 o 7623975 3585.49/3596.07 o 7623966 3585.49/3596.07 o 7623957 3585.49/3596.07 o 7623948 3585.49/3596.07 o 7623939 3585.49/3596.07 o 7623930 3585.49/3596.07 o 7623921 3585.49/3596.07 o 7623857 3585.49/3596.07 o 7623697 3585.49/3596.07 o 7623571 3585.49/3596.07 o 7623569 3585.49/3596.07 o 7623562 3585.49/3596.07 o 7623548 3585.49/3596.07 o 7623541 3585.49/3596.07 o 7623536 3585.49/3596.07 o 7623527 3585.49/3596.07 o 7623513 3585.49/3596.07 o 7623509 3585.49/3596.07 o 7623248 3585.49/3596.07 o 7623223 3585.49/3596.07 o 7623191 3585.49/3596.07 o 7611608 3585.49/3596.07 o 7611594 3585.49/3596.07 o 7611590 3585.49/3596.07 o 7611584 3585.49/3596.07 o 7607104 3585.49/3596.07 o 7606951 3585.49/3596.07 o 7606941 3585.49/3596.07 o 7606920 3585.49/3596.07 o 7606840 3585.49/3596.07 o 7606834 3585.49/3596.07 o 7606830 3585.49/3596.07 o 7606542 3585.49/3596.07 o 7606382 3585.49/3596.07 o 7606350 3585.49/3596.07 o 7606346 3585.49/3596.07 o 7606345 3585.49/3596.07 o 7541579 3585.49/3596.07 o 7541574 3585.49/3596.07 o 7541566 3585.49/3596.07 o 7541546 3585.49/3596.07 o 7541544 3585.49/3596.07 o 7538472 3585.49/3596.07 o 7538460 3585.49/3596.07 o 7538457 3585.49/3596.07 o 7538452 3585.49/3596.07 o 7538449 3585.49/3596.07 o 7538441 3585.49/3596.07 o 7538437 3585.49/3596.07 o 7538362 3585.49/3596.07 o 7538350 3585.49/3596.07 o 7538347 3585.49/3596.07 o 7531172 3585.49/3596.07 o 7531168 3585.49/3596.07 o 7531163 3585.49/3596.07 o 7531159 3585.49/3596.07 o 7531153 3585.49/3596.07 o 7531145 3585.49/3596.07 o 7531140 3585.49/3596.07 o 7531135 3585.49/3596.07 o 7531103 3585.49/3596.07 o 7531099 3585.49/3596.07 o 7531094 3585.49/3596.07 o 7515359 3585.49/3596.07 o 7515348 3585.49/3596.07 o 7515340 3585.49/3596.07 o 7515336 3585.49/3596.07 o 7515334 3585.49/3596.07 o 7511238 3585.49/3596.07 o 7511222 3585.49/3596.07 o 7511217 3585.49/3596.07 o 7511207 3585.49/3596.07 o 7511202 3585.49/3596.07 o 7511192 3585.49/3596.07 o 7511191 3585.49/3596.07 o 7511187 3585.49/3596.07 o 7511184 3585.49/3596.07 o 7511176 3585.49/3596.07 o 7509128 3585.49/3596.07 o 7504154 3585.49/3596.07 o 7504136 3585.49/3596.07 o 7503560 3585.49/3596.07 o 7503416 3585.49/3596.07 o 7503407 3585.49/3596.07 o 7503406 3585.49/3596.07 o 7466542 3585.49/3596.07 o 7466536 3585.49/3596.07 o 7466531 3585.49/3596.07 o 7466514 3585.49/3596.07 o 7466508 3585.49/3596.07 o 7466497 3585.49/3596.07 o 7466488 3585.49/3596.07 o 7466480 3585.49/3596.07 o 7466472 3585.49/3596.07 o 7466470 3585.49/3596.07 o 7466464 3585.49/3596.07 o 7466448 3585.49/3596.07 o 7466424 3585.49/3596.07 o 7466416 3585.49/3596.07 o 7466401 3585.49/3596.07 o 7466398 3585.49/3596.07 o 7466395 3585.49/3596.07 o 7466392 3585.49/3596.07 o 7466380 3585.49/3596.07 o 7466344 3585.49/3596.07 o 7466308 3585.49/3596.07 o 7466300 3585.49/3596.07 o 7466299 3585.49/3596.07 o 7466296 3585.49/3596.07 o 7464760 3585.49/3596.07 o 7464757 3585.49/3596.07 o 7463989 3585.49/3596.07 o 7463797 3585.49/3596.07 o 7463717 3585.49/3596.07 o 7463714 3585.49/3596.07 o 7463712 3585.49/3596.07 o 7463704 3585.49/3596.07 o 7463694 3585.49/3596.07 o 7463678 3585.49/3596.07 o 7463626 3585.49/3596.07 o 7463618 3585.49/3596.07 o 7463617 3585.49/3596.07 o 7463606 3585.49/3596.07 o 7463590 3585.49/3596.07 o 7455398 3585.49/3596.07 o 7455390 3585.49/3596.07 o 7455382 3585.49/3596.07 o 7455374 3585.49/3596.07 o 7455358 3585.49/3596.07 o 7325076 3585.49/3596.07 o 7325044 3585.49/3596.07 o 7322484 3585.49/3596.07 o 7322479 3585.49/3596.07 o 7322427 3585.49/3596.07 o 7322411 3585.49/3596.07 o 7322409 3585.49/3596.07 o 7322403 3585.49/3596.07 o 7322398 3585.49/3596.07 o 7322395 3585.49/3596.07 o 7322387 3585.49/3596.07 o 7322383 3585.49/3596.07 o 7322375 3585.49/3596.07 o 7322367 3585.49/3596.07 o 7322361 3585.49/3596.07 o 7322350 3585.49/3596.07 o 7322030 3585.49/3596.07 o 7322028 3585.49/3596.07 o 7322024 3585.49/3596.07 o 7322004 3585.49/3596.07 o 7321990 3585.49/3596.07 o 7321910 3585.49/3596.07 o 7321142 3585.49/3596.07 o 7320758 3585.49/3596.07 o 7320746 3585.49/3596.07 o 7320726 3585.49/3596.07 o 7319446 3585.49/3596.07 o 7319437 3585.49/3596.07 o 7319117 3585.49/3596.07 o 7319108 3585.49/3596.07 o 7319078 3585.49/3596.07 o 7319068 3585.49/3596.07 o 7319028 3585.49/3596.07 o 7315748 3585.49/3596.07 o 7315747 3585.49/3596.07 o 7315745 3585.49/3596.07 o 7315744 3585.49/3596.07 o 7315743 3585.49/3596.07 o 7315742 3585.49/3596.07 o 7315694 3585.49/3596.07 o 7315438 3585.49/3596.07 o 7300078 3585.49/3596.07 o 7299934 3585.49/3596.07 o 7299933 3585.49/3596.07 o 7299928 3585.49/3596.07 o 7299918 3585.49/3596.07 o 7299886 3585.49/3596.07 o 7293742 3585.49/3596.07 o 7293737 3585.49/3596.07 o 7293463 3585.49/3596.07 o 7293461 3585.49/3596.07 o 7293456 3585.49/3596.07 o 7293447 3585.49/3596.07 o 7293415 3585.49/3596.07 o 7292391 3585.49/3596.07 o 7292383 3585.49/3596.07 o 7292379 3585.49/3596.07 o 7292363 3585.49/3596.07 o 7292107 3585.49/3596.07 o 7291883 3585.49/3596.07 o 7291881 3585.49/3596.07 o 7291880 3585.49/3596.07 o 7291879 3585.49/3596.07 o 7285605 3585.49/3596.07 o 7285601 3585.49/3596.07 o 7285595 3585.49/3596.07 o 7285594 3585.49/3596.07 o 7203683 3585.49/3596.07 o 7120739 3585.49/3596.07 o 7120734 3585.49/3596.07 o 7120733 3585.49/3596.07 o 7120728 3585.49/3596.07 o 7120722 3585.49/3596.07 o 7120210 3585.49/3596.07 o 7120207 3585.49/3596.07 o 7120200 3585.49/3596.07 o 7120195 3585.49/3596.07 o 7120183 3585.49/3596.07 o 7120175 3585.49/3596.07 o 7120170 3585.49/3596.07 o 7120120 3585.49/3596.07 o 7120111 3585.49/3596.07 o 7120107 3585.49/3596.07 o 7120087 3585.49/3596.07 o 7120067 3585.49/3596.07 o 7120057 3585.49/3596.07 o 7120037 3585.49/3596.07 o 7120034 3585.49/3596.07 o 7120024 3585.49/3596.07 o 7120003 3585.49/3596.07 o 7120000 3585.49/3596.07 o 7119992 3585.49/3596.07 o 7114872 3585.49/3596.07 o 7114867 3585.49/3596.07 o 7114866 3585.49/3596.07 o 7114863 3585.49/3596.07 o 7114860 3585.49/3596.07 o 7114855 3585.49/3596.07 o 7114705 3585.49/3596.07 o 7114700 3585.49/3596.07 o 7114694 3585.49/3596.07 o 7114692 3585.49/3596.07 o 7114687 3585.49/3596.07 o 7114680 3585.49/3596.07 o 7114679 3585.49/3596.07 o 7114677 3585.49/3596.07 o 7114676 3585.49/3596.07 o 7114667 3585.49/3596.07 o 7114666 3585.49/3596.07 o 7114665 3585.49/3596.07 o 7075236 3585.49/3596.07 o 7075230 3585.49/3596.07 o 7075226 3585.49/3596.07 o 7075225 3585.49/3596.07 o 7062057 3585.49/3596.07 o 7062052 3585.49/3596.07 o 7058913 3585.49/3596.07 o 7058909 3585.49/3596.07 o 7058905 3585.49/3596.07 o 7058895 3585.49/3596.07 o 7058880 3585.49/3596.07 o 7058870 3585.49/3596.07 o 7058860 3585.49/3596.07 o 7042476 3585.49/3596.07 o 7042426 3585.49/3596.07 o 7042415 3585.49/3596.07 o 7042411 3585.49/3596.07 o 7042371 3585.49/3596.07 o 7042363 3585.49/3596.07 o 7025911 3585.49/3596.07 o 7025751 3585.49/3596.07 o 7025719 3585.49/3596.07 o 7025699 3585.49/3596.07 o 7025695 3585.49/3596.07 o 7025694 3585.49/3596.07 o 7025687 3585.49/3596.07 o 7025677 3585.49/3596.07 o 7025661 3585.49/3596.07 o 7025651 3585.49/3596.07 o 7025643 3585.49/3596.07 o 7025605 3585.49/3596.07 o 7025589 3585.49/3596.07 o 7025585 3585.49/3596.07 o 7025584 3585.49/3596.07 o 7025568 3585.49/3596.07 o 7025553 3585.49/3596.07 o 7025537 3585.49/3596.07 o 7025533 3585.49/3596.07 o 7025501 3585.49/3596.07 o 7025493 3585.49/3596.07 o 7025491 3585.49/3596.07 o 7025489 3585.49/3596.07 o 7025488 3585.49/3596.07 o 7025482 3585.49/3596.07 o 7025480 3585.49/3596.07 o 7025476 3585.49/3596.07 o 7025460 3585.49/3596.07 o 7025454 3585.49/3596.07 o 7025430 3585.49/3596.07 o 7025270 3585.49/3596.07 o 7025258 3585.49/3596.07 o 7025248 3585.49/3596.07 o 7021398 3585.49/3596.07 o 7021393 3585.49/3596.07 o 7021392 3585.49/3596.07 o 7021387 3585.49/3596.07 o 7021386 3585.49/3596.07 o 7021385 3585.49/3596.07 o 7021384 3585.49/3596.07 o 7021383 3585.49/3596.07 o 7021382 3585.49/3596.07 o 7021373 3585.49/3596.07 o 7021370 3585.49/3596.07 o 7021367 3585.49/3596.07 o 7021303 3585.49/3596.07 o 7021301 3585.49/3596.07 o 7021289 3585.49/3596.07 o 7021269 3585.49/3596.07 o 7021267 3585.49/3596.07 o 7021237 3585.49/3596.07 o 7021235 3585.49/3596.07 o 7021171 3585.49/3596.07 o 7021157 3585.49/3596.07 o 7021155 3585.49/3596.07 o 7021153 3585.49/3596.07 o 7021143 3585.49/3596.07 o 7021138 3585.49/3596.07 o 7021110 3585.49/3596.07 o 7021108 3585.49/3596.07 o 7021096 3585.49/3596.07 o 7021094 3585.49/3596.07 o 7021078 3585.49/3596.07 o 7009814 3585.49/3596.07 o 7009810 3585.49/3596.07 o 7009808 3585.49/3596.07 o 6998735 3585.49/3596.07 o 6998519 3585.49/3596.07 o 6980391 3585.49/3596.07 o 6980377 3585.49/3596.07 o 6980303 3585.49/3596.07 o 6980301 3585.49/3596.07 o 6980299 3585.49/3596.07 o 6980294 3585.49/3596.07 o 6980288 3585.49/3596.07 o 6963904 3585.49/3596.07 o 6963900 3585.49/3596.07 o 6963896 3585.49/3596.07 o 6963891 3585.49/3596.07 o 6963887 3585.49/3596.07 o 6963881 3585.49/3596.07 o 6963879 3585.49/3596.07 o 6963863 3585.49/3596.07 o 6963847 3585.49/3596.07 o 6963831 3585.49/3596.07 o 6963825 3585.49/3596.07 o 6963819 3585.49/3596.07 o 6963815 3585.49/3596.07 o 6963795 3585.49/3596.07 o 6963791 3585.49/3596.07 o 6963790 3585.49/3596.07 o 6801997 3585.49/3596.07 o 6801994 3585.49/3596.07 o 6801984 3585.49/3596.07 o 6801971 3585.49/3596.07 o 6722458 3585.49/3596.07 o 6722457 3585.49/3596.07 o 6722456 3585.49/3596.07 o 6722432 3585.49/3596.07 o 6722416 3585.49/3596.07 o 6722372 3585.49/3596.07 o 6722360 3585.49/3596.07 o 6722344 3585.49/3596.07 o 6722341 3585.49/3596.07 o 6722320 3585.49/3596.07 o 6647568 3585.49/3596.07 o 6647550 3585.49/3596.07 o 6647526 3585.49/3596.07 o 6647508 3585.49/3596.07 o 6647506 3585.49/3596.07 o 6647501 3585.49/3596.07 o 6647500 3585.49/3596.07 o 6647480 3585.49/3596.07 o 6647224 3585.49/3596.07 o 6646200 3585.49/3596.07 o 6646196 3585.49/3596.07 o 6646187 3585.49/3596.07 o 6646151 3585.49/3596.07 o 6643258 3585.49/3596.07 o 6643255 3585.49/3596.07 c Program interrupted by user. 3585.49/3596.07 s SATISFIABLE 3585.49/3596.07 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
OK 6643255
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (55271 MiB free)
memory of node 1: 64473 MiB (61343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437403-1722948203/watcher-4437403-1722948203 -o /tmp/evaluation-result-4437403-1722948203/solver-4437403-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722948202-330598 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437403-1722948203.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
solver pid=330658, runsolver pid=330648
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 0.14 0.09 0.09 7/256 330678
/proc/meminfo: memFree=119383268/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61418051 10170368 662 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 662 585 264 0 134 0
[pid=330668] ppid=330658 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/330668/stat : 330668 (timeout) S 330658 330668 330588 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 259 134679101440 94851540684800 94851540719816 140725717970272 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 94851542817232 94851542819364 94851561136128 140725717976099 140725717976221 140725717976221 140725717983207 0
/proc/330668/statm: 2165 259 234 9 0 87 0
[pid=330676] ppid=330668 vsize=30436 memory=16260 CPUtime=0.09 cores=0,2
/proc/330676/stat : 330676 (LS-MabP) R 330668 330668 330588 0 -1 4194304 2593 0 0 0 9 0 0 0 20 0 1 0 61418053 31166464 4065 134679101440 4194304 15467897 140730666231472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24829952 140730666239031 140730666239140 140730666239140 140730666246126 0
/proc/330676/statm: 7609 4065 1057 2753 0 4262 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49028 KiB
Current children cumulated memory: 19944 KiB
[startup+0.216786 s]*
/proc/loadavg: 0.14 0.09 0.09 6/256 330678
/proc/meminfo: memFree=119358212/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61418051 10170368 662 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 662 585 264 0 134 0
[pid=330668] ppid=330658 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/330668/stat : 330668 (timeout) S 330658 330668 330588 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 259 134679101440 94851540684800 94851540719816 140725717970272 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 94851542817232 94851542819364 94851561136128 140725717976099 140725717976221 140725717976221 140725717983207 0
/proc/330668/statm: 2165 259 234 9 0 87 0
[pid=330676] ppid=330668 vsize=42184 memory=27876 CPUtime=0.2 cores=0,2
/proc/330676/stat : 330676 (LS-MabP) R 330668 330668 330588 0 -1 4194304 5534 0 0 0 19 1 0 0 20 0 1 0 61418053 43196416 6969 134679101440 4194304 15467897 140730666231472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24829952 140730666239031 140730666239140 140730666239140 140730666246126 0
/proc/330676/statm: 10546 6969 1057 2753 0 7199 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60776 KiB
Current children cumulated memory: 31560 KiB
[startup+0.316221 s]*
/proc/loadavg: 0.14 0.09 0.09 7/256 330678
/proc/meminfo: memFree=119334300/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61418051 10170368 662 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 662 585 264 0 134 0
[pid=330668] ppid=330658 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/330668/stat : 330668 (timeout) S 330658 330668 330588 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 259 134679101440 94851540684800 94851540719816 140725717970272 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 94851542817232 94851542819364 94851561136128 140725717976099 140725717976221 140725717976221 140725717983207 0
/proc/330668/statm: 2165 259 234 9 0 87 0
[pid=330676] ppid=330668 vsize=51952 memory=38496 CPUtime=0.3 cores=0,2
/proc/330676/stat : 330676 (LS-MabP) R 330668 330668 330588 0 -1 4194304 8170 0 0 0 28 2 0 0 20 0 1 0 61418053 53198848 9624 134679101440 4194304 15467897 140730666231472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24829952 140730666239031 140730666239140 140730666239140 140730666246126 0
/proc/330676/statm: 12988 9624 1073 2753 0 9641 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42180 KiB
[startup+0.700462 s]
/proc/loadavg: 0.14 0.09 0.09 8/256 330678
/proc/meminfo: memFree=119324672/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61418051 10170368 662 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 662 585 264 0 134 0
[pid=330668] ppid=330658 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/330668/stat : 330668 (timeout) S 330658 330668 330588 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 259 134679101440 94851540684800 94851540719816 140725717970272 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 94851542817232 94851542819364 94851561136128 140725717976099 140725717976221 140725717976221 140725717983207 0
/proc/330668/statm: 2165 259 234 9 0 87 0
[pid=330676] ppid=330668 vsize=51952 memory=38760 CPUtime=0.67 cores=0,2
/proc/330676/stat : 330676 (LS-MabP) R 330668 330668 330588 0 -1 4194304 8219 0 0 0 64 3 0 0 20 0 1 0 61418053 53198848 9690 134679101440 4194304 15467897 140730666231472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24829952 140730666239031 140730666239140 140730666239140 140730666246126 0
/proc/330676/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42444 KiB
[startup+1.50042 s]
/proc/loadavg: 0.14 0.09 0.09 7/256 330678
/proc/meminfo: memFree=119250032/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61418051 10170368 662 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 662 585 264 0 134 0
[pid=330668] ppid=330658 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/330668/stat : 330668 (timeout) S 330658 330668 330588 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 259 134679101440 94851540684800 94851540719816 140725717970272 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 94851542817232 94851542819364 94851561136128 140725717976099 140725717976221 140725717976221 140725717983207 0
/proc/330668/statm: 2165 259 234 9 0 87 0
[pid=330676] ppid=330668 vsize=51952 memory=38760 CPUtime=1.46 cores=0,2
/proc/330676/stat : 330676 (LS-MabP) R 330668 330668 330588 0 -1 4194304 8219 0 0 0 142 4 0 0 20 0 1 0 61418053 53198848 9690 134679101440 4194304 15467897 140730666231472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24829952 140730666239031 140730666239140 140730666239140 140730666246126 0
/proc/330676/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42444 KiB
[startup+3.11451 s]
/proc/loadavg: 0.53 0.17 0.12 7/256 330680
/proc/meminfo: memFree=118877200/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61418051 10170368 662 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 662 585 264 0 134 0
[pid=330668] ppid=330658 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/330668/stat : 330668 (timeout) S 330658 330668 330588 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 259 134679101440 94851540684800 94851540719816 140725717970272 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 94851542817232 94851542819364 94851561136128 140725717976099 140725717976221 140725717976221 140725717983207 0
/proc/330668/statm: 2165 259 234 9 0 87 0
[pid=330676] ppid=330668 vsize=51952 memory=38760 CPUtime=3.07 cores=0,2
/proc/330676/stat : 330676 (LS-MabP) R 330668 330668 330588 0 -1 4194304 8219 0 0 0 300 7 0 0 20 0 1 0 61418053 53198848 9690 134679101440 4194304 15467897 140730666231472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24829952 140730666239031 140730666239140 140730666239140 140730666246126 0
/proc/330676/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42444 KiB
[startup+6.3004 s]
/proc/loadavg: 0.53 0.17 0.12 7/256 330680
/proc/meminfo: memFree=117663480/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61418051 10170368 662 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 662 585 264 0 134 0
[pid=330668] ppid=330658 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/330668/stat : 330668 (timeout) S 330658 330668 330588 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 259 134679101440 94851540684800 94851540719816 140725717970272 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 94851542817232 94851542819364 94851561136128 140725717976099 140725717976221 140725717976221 140725717983207 0
/proc/330668/statm: 2165 259 234 9 0 87 0
[pid=330676] ppid=330668 vsize=51952 memory=38760 CPUtime=6.25 cores=0,2
/proc/330676/stat : 330676 (LS-MabP) R 330668 330668 330588 0 -1 4194304 8226 0 0 0 614 11 0 0 20 0 1 0 61418053 53198848 9690 134679101440 4194304 15467897 140730666231472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24829952 140730666239031 140730666239140 140730666239140 140730666246126 0
/proc/330676/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42444 KiB
[startup+12.7004 s]
/proc/loadavg: 0.81 0.24 0.14 7/256 330680
/proc/meminfo: memFree=115222468/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61418051 10170368 662 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 662 585 264 0 134 0
[pid=330668] ppid=330658 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/330668/stat : 330668 (timeout) S 330658 330668 330588 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 259 134679101440 94851540684800 94851540719816 140725717970272 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 94851542817232 94851542819364 94851561136128 140725717976099 140725717976221 140725717976221 140725717983207 0
/proc/330668/statm: 2165 259 234 9 0 87 0
[pid=330676] ppid=330668 vsize=51952 memory=38760 CPUtime=12.63 cores=0,2
/proc/330676/stat : 330676 (LS-MabP) R 330668 330668 330588 0 -1 4194304 8253 0 0 0 1242 21 0 0 20 0 1 0 61418053 53198848 9690 134679101440 4194304 15467897 140730666231472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24829952 140730666239031 140730666239140 140730666239140 140730666246126 0
/proc/330676/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42444 KiB
[startup+25.5005 s]
/proc/loadavg: 1.51 0.42 0.20 7/256 330683
/proc/meminfo: memFree=109925700/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61418051 10170368 662 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 662 585 264 0 134 0
[pid=330668] ppid=330658 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/330668/stat : 330668 (timeout) S 330658 330668 330588 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 259 134679101440 94851540684800 94851540719816 140725717970272 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 94851542817232 94851542819364 94851561136128 140725717976099 140725717976221 140725717976221 140725717983207 0
/proc/330668/statm: 2165 259 234 9 0 87 0
[pid=330676] ppid=330668 vsize=51952 memory=38760 CPUtime=25.39 cores=0,2
/proc/330676/stat : 330676 (LS-MabP) R 330668 330668 330588 0 -1 4194304 8254 0 0 0 2498 41 0 0 20 0 1 0 61418053 53198848 9690 134679101440 4194304 15467897 140730666231472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24829952 140730666239031 140730666239140 140730666239140 140730666246126 0
/proc/330676/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42444 KiB
[startup+51.1144 s]
/proc/loadavg: 2.44 0.73 0.31 7/256 330686
/proc/meminfo: memFree=101825256/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61418051 10170368 662 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 662 585 264 0 134 0
[pid=330668] ppid=330658 vsize=8660 memory=1036 CPUtime=0 cores=0,2
/proc/330668/stat : 330668 (timeout) S 330658 330668 330588 0 -1 4194304 105 0 1 0 0 0 0 0 20 0 1 0 61418052 8867840 259 134679101440 94851540684800 94851540719816 140725717970272 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 1 0 0 94851542817232 94851542819364 94851561136128 140725717976099 140725717976221 140725717976221 140725717983207 0
/proc/330668/statm: 2165 259 234 9 0 87 0
[pid=330676] ppid=330668 vsize=51952 memory=38760 CPUtime=50.93 cores=0,2
/proc/330676/stat : 330676 (LS-MabP) R 330668 330668 330588 0 -1 4194304 8257 0 0 0 5014 79 0 0 20 0 1 0 61418053 53198848 9690 134679101440 4194304 15467897 140730666231472 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 24829952 140730666239031 140730666239140 140730666239140 140730666246126 0
/proc/330676/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42444 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.27 0.52 7/256 330695
/proc/meminfo: memFree=101824540/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2648 CPUtime=0 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 236 103 0 0 0 0 0 0 20 0 1 0 61418051 10170368 662 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
################
# More data... #
################
/proc/331582/statm: 69998 61752 852 745 0 69063 0
Current children cumulated CPU time: 3392.4 s
Current children cumulated vsize: 298584 KiB
Current children cumulated memory: 250720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.03 7/252 332560
/proc/meminfo: memFree=97407184/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2696 CPUtime=1793.45 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 269 8965 0 1 0 0 176743 2602 20 0 1 0 61418051 10170368 674 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 674 585 264 0 134 0
[pid=331579] ppid=330658 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/331579/stat : 331579 (timeout) S 330658 331579 330588 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 254 134679101440 94727650422784 94727650457800 140723897407488 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94727652555216 94727652557348 94727665926144 140723897410548 140723897410717 140723897410717 140723897417703 0
/proc/331579/statm: 2165 254 230 9 0 87 0
[pid=331582] ppid=331579 vsize=280140 memory=247220 CPUtime=1658.76 cores=0,2
/proc/331582/stat : 331582 (Exact) R 331579 331579 330588 0 -1 4194304 29843 0 0 0 165860 16 0 0 20 0 1 0 61597853 286863360 61805 134679101440 4194304 7243121 140729295657552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18726912 140729295664144 140729295664294 140729295664294 140729295671280 0
/proc/331582/statm: 70035 61805 852 745 0 69100 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 298732 KiB
Current children cumulated memory: 250932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.03 7/250 332570
/proc/meminfo: memFree=97406164/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2696 CPUtime=1793.45 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 269 8965 0 1 0 0 176743 2602 20 0 1 0 61418051 10170368 674 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 674 585 264 0 134 0
[pid=331579] ppid=330658 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/331579/stat : 331579 (timeout) S 330658 331579 330588 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 254 134679101440 94727650422784 94727650457800 140723897407488 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94727652555216 94727652557348 94727665926144 140723897410548 140723897410717 140723897410717 140723897417703 0
/proc/331579/statm: 2165 254 230 9 0 87 0
[pid=331582] ppid=331579 vsize=280140 memory=247480 CPUtime=1718.56 cores=0,2
/proc/331582/stat : 331582 (Exact) R 331579 331579 330588 0 -1 4194304 29943 0 0 0 171840 16 0 0 20 0 1 0 61597853 286863360 61870 134679101440 4194304 7243121 140729295657552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18726912 140729295664144 140729295664294 140729295664294 140729295671280 0
/proc/331582/statm: 70035 61870 852 745 0 69100 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 298732 KiB
Current children cumulated memory: 251192 KiB
[startup+3582.3 s]
/proc/loadavg: 6.03 4.65 4.22 7/250 332582
/proc/meminfo: memFree=97403552/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2696 CPUtime=1793.45 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 269 8965 0 1 0 0 176743 2602 20 0 1 0 61418051 10170368 674 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 674 585 264 0 134 0
[pid=331579] ppid=330658 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/331579/stat : 331579 (timeout) S 330658 331579 330588 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 254 134679101440 94727650422784 94727650457800 140723897407488 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94727652555216 94727652557348 94727665926144 140723897410548 140723897410717 140723897410717 140723897417703 0
/proc/331579/statm: 2165 254 230 9 0 87 0
[pid=331582] ppid=331579 vsize=280816 memory=247928 CPUtime=1778.37 cores=0,2
/proc/331582/stat : 331582 (Exact) R 331579 331579 330588 0 -1 4194304 30102 0 0 0 177821 16 0 0 20 0 1 0 61597853 287555584 61982 134679101440 4194304 7243121 140729295657552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18726912 140729295664144 140729295664294 140729295664294 140729295671280 0
/proc/331582/statm: 70204 61982 852 745 0 69269 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 299408 KiB
Current children cumulated memory: 251640 KiB
[startup+3596.08 s]
# the end of solver process 330658 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3559.36 s, system=26.2054 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 6.35 4.74 4.25 7/250 332583
/proc/meminfo: memFree=97403480/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2696 CPUtime=1793.45 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 269 8965 0 1 0 0 176743 2602 20 0 1 0 61418051 10170368 674 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 674 585 264 0 134 0
[pid=331579] ppid=330658 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/331579/stat : 331579 (timeout) S 330658 331579 330588 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 254 134679101440 94727650422784 94727650457800 140723897407488 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94727652555216 94727652557348 94727665926144 140723897410548 140723897410717 140723897410717 140723897417703 0
/proc/331579/statm: 2165 254 230 9 0 87 0
[pid=331582] ppid=331579 vsize=280816 memory=247928 CPUtime=1780.08 cores=0,2
/proc/331582/stat : 331582 (Exact) R 331579 331579 330588 0 -1 4194304 30102 0 0 0 177992 16 0 0 20 0 1 0 61597853 287555584 61982 134679101440 4194304 7243121 140729295657552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18726912 140729295664144 140729295664294 140729295664294 140729295671280 0
/proc/331582/statm: 70204 61982 852 745 0 69269 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 299408 KiB
Current children cumulated memory: 251640 KiB
[startup+3590.4 s]
/proc/loadavg: 6.40 4.77 4.27 7/250 332583
/proc/meminfo: memFree=97403312/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2696 CPUtime=1793.45 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 269 8965 0 1 0 0 176743 2602 20 0 1 0 61418051 10170368 674 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 674 585 264 0 134 0
[pid=331579] ppid=330658 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/331579/stat : 331579 (timeout) S 330658 331579 330588 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 254 134679101440 94727650422784 94727650457800 140723897407488 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94727652555216 94727652557348 94727665926144 140723897410548 140723897410717 140723897410717 140723897417703 0
/proc/331579/statm: 2165 254 230 9 0 87 0
[pid=331582] ppid=331579 vsize=280816 memory=247928 CPUtime=1786.44 cores=0,2
/proc/331582/stat : 331582 (Exact) R 331579 331579 330588 0 -1 4194304 30102 0 0 0 178628 16 0 0 20 0 1 0 61597853 287555584 61982 134679101440 4194304 7243121 140729295657552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18726912 140729295664144 140729295664294 140729295664294 140729295671280 0
/proc/331582/statm: 70204 61982 852 745 0 69269 0
Current children cumulated CPU time: 3579.89 s
Current children cumulated vsize: 299408 KiB
Current children cumulated memory: 251640 KiB
[startup+3593.6 s]
/proc/loadavg: 6.40 4.77 4.27 7/250 332585
/proc/meminfo: memFree=97403248/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2696 CPUtime=1793.45 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 269 8965 0 1 0 0 176743 2602 20 0 1 0 61418051 10170368 674 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 674 585 264 0 134 0
[pid=331579] ppid=330658 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/331579/stat : 331579 (timeout) S 330658 331579 330588 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 254 134679101440 94727650422784 94727650457800 140723897407488 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94727652555216 94727652557348 94727665926144 140723897410548 140723897410717 140723897410717 140723897417703 0
/proc/331579/statm: 2165 254 230 9 0 87 0
[pid=331582] ppid=331579 vsize=280816 memory=247928 CPUtime=1789.63 cores=0,2
/proc/331582/stat : 331582 (Exact) R 331579 331579 330588 0 -1 4194304 30102 0 0 0 178947 16 0 0 20 0 1 0 61597853 287555584 61982 134679101440 4194304 7243121 140729295657552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18726912 140729295664144 140729295664294 140729295664294 140729295671280 0
/proc/331582/statm: 70204 61982 852 745 0 69269 0
Current children cumulated CPU time: 3583.08 s
Current children cumulated vsize: 299408 KiB
Current children cumulated memory: 251640 KiB
[startup+3595.2 s]
/proc/loadavg: 6.37 4.79 4.28 7/250 332585
/proc/meminfo: memFree=97403224/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2696 CPUtime=1793.45 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 269 8965 0 1 0 0 176743 2602 20 0 1 0 61418051 10170368 674 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 674 585 264 0 134 0
[pid=331579] ppid=330658 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/331579/stat : 331579 (timeout) S 330658 331579 330588 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 254 134679101440 94727650422784 94727650457800 140723897407488 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94727652555216 94727652557348 94727665926144 140723897410548 140723897410717 140723897410717 140723897417703 0
/proc/331579/statm: 2165 254 230 9 0 87 0
[pid=331582] ppid=331579 vsize=280816 memory=247928 CPUtime=1791.23 cores=0,2
/proc/331582/stat : 331582 (Exact) R 331579 331579 330588 0 -1 4194304 30102 0 0 0 179107 16 0 0 20 0 1 0 61597853 287555584 61982 134679101440 4194304 7243121 140729295657552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18726912 140729295664144 140729295664294 140729295664294 140729295671280 0
/proc/331582/statm: 70204 61982 852 745 0 69269 0
Current children cumulated CPU time: 3584.68 s
Current children cumulated vsize: 299408 KiB
Current children cumulated memory: 251640 KiB
[startup+3595.6 s]
/proc/loadavg: 6.37 4.79 4.28 7/250 332585
/proc/meminfo: memFree=97403224/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2696 CPUtime=1793.45 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 269 8965 0 1 0 0 176743 2602 20 0 1 0 61418051 10170368 674 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 674 585 264 0 134 0
[pid=331579] ppid=330658 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/331579/stat : 331579 (timeout) S 330658 331579 330588 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 254 134679101440 94727650422784 94727650457800 140723897407488 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94727652555216 94727652557348 94727665926144 140723897410548 140723897410717 140723897410717 140723897417703 0
/proc/331579/statm: 2165 254 230 9 0 87 0
[pid=331582] ppid=331579 vsize=280816 memory=247928 CPUtime=1791.63 cores=0,2
/proc/331582/stat : 331582 (Exact) R 331579 331579 330588 0 -1 4194304 30102 0 0 0 179147 16 0 0 20 0 1 0 61597853 287555584 61982 134679101440 4194304 7243121 140729295657552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18726912 140729295664144 140729295664294 140729295664294 140729295671280 0
/proc/331582/statm: 70204 61982 852 745 0 69269 0
Current children cumulated CPU time: 3585.08 s
Current children cumulated vsize: 299408 KiB
Current children cumulated memory: 251640 KiB
[startup+3596 s]*
/proc/loadavg: 6.37 4.79 4.28 7/250 332585
/proc/meminfo: memFree=97403196/131655788 swapFree=131071996/131071996
[pid=330658] ppid=330648 vsize=9932 memory=2696 CPUtime=1793.45 cores=0,2
/proc/330658/stat : 330658 (Hybrid-LSMabP+E) S 330648 330658 330588 0 -1 4194304 269 8965 0 1 0 0 176743 2602 20 0 1 0 61418051 10170368 674 134679101440 94119992365056 94119993444376 140727329761504 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94119995542832 94119995590020 94120004218880 140727329764330 140727329764475 140727329764475 140727329771490 0
/proc/330658/statm: 2483 674 585 264 0 134 0
[pid=331579] ppid=330658 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/331579/stat : 331579 (timeout) S 330658 331579 330588 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61597853 8867840 254 134679101440 94727650422784 94727650457800 140723897407488 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94727652555216 94727652557348 94727665926144 140723897410548 140723897410717 140723897410717 140723897417703 0
/proc/331579/statm: 2165 254 230 9 0 87 0
[pid=331582] ppid=331579 vsize=280816 memory=247928 CPUtime=1792.04 cores=0,2
/proc/331582/stat : 331582 (Exact) R 331579 331579 330588 0 -1 4194304 30102 0 0 0 179188 16 0 0 20 0 1 0 61597853 287555584 61982 134679101440 4194304 7243121 140729295657552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18726912 140729295664144 140729295664294 140729295664294 140729295671280 0
/proc/331582/statm: 70204 61982 852 745 0 69269 0
Current children cumulated CPU time: 3585.49 s
Current children cumulated vsize: 299408 KiB
Current children cumulated memory: 251640 KiB
Child status: 0
Real time (s): 3596.08
CPU time (s): 3585.56
CPU user time (s): 3559.36
CPU system time (s): 26.2054
CPU usage (%): 99.7077
Max. virtual memory (cumulated for all children) (KiB): 299408
Max. memory (cumulated for all children) (KiB): 251640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.36
system time used= 26.2054
maximum resident set size= 255476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42520
page faults= 3
swaps= 0
block input operations= 488
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117
involuntary context switches= 25082
# summary of solver processes directly reported to runsolver:
# pid: 330658
# total CPU time (s): 3585.56
# total CPU user time (s): 3559.36
# total CPU system time (s): 26.2054
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8196 second user time and 40.4787 second system time
The end
Begin job on nodeC009 at 2024-08-06 14:43:24 IDJOB=4437403 IDBENCH=146763 IDSOLVER=3071 FILE ID=nodeC009/4437403-1722948203 RUNJOBID= nodeC009-1722948202-330598 SLURM_JOB_ID= 8258997 Free space on /tmp= 723776 MiB SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437403-1722948203/watcher-4437403-1722948203 -o /tmp/evaluation-result-4437403-1722948203/solver-4437403-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722948202-330598 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437403-1722948203.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4 RANDOM SEED=18592742 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.264 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.267 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.266 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.265 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.265 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.296 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.269 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.261 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 119416516 kB MemAvailable: 129957392 kB Buffers: 334100 kB Cached: 11044292 kB SwapCached: 0 kB Active: 592716 kB Inactive: 11154912 kB Active(anon): 1396 kB Inactive(anon): 405632 kB Active(file): 591320 kB Inactive(file): 10749280 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 90296 kB Writeback: 4 kB AnonPages: 368736 kB Mapped: 98008 kB Shmem: 37704 kB KReclaimable: 80948 kB Slab: 166792 kB SReclaimable: 80948 kB SUnreclaim: 85844 kB KernelStack: 3696 kB PageTables: 9536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 785072 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 24096 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 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: 314184 kB DirectMap2M: 23707648 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 723688 MiB End job on nodeC009 at 2024-08-06 15:43:21