408.70/408.72 s SATISFIABLE
408.70/408.72 v 103 101 112 57 6 100 72 24 86 229 280 218 337 340 305 326 339 342 316 266 235 -293 -291 -302 -247 -196 -290 -262 -214 -276 -39 -90 -28 -147 -150 -115 -136 -149 -152 -126 -76 -45 200 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 344 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 251 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 264 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 23 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -10 -154 -61 -74 -213 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -2161 -721 -1501 -1861 -2201 -2521 -2821 -3101 -3361 -3601 -3821 -4021 -4361 -4501 -4621 -4721 -4801 -4861 -4921 -4941 -9921 -9121 -2761 -3761 -2141 -4221 -4181 -5061 -4681 -9701 -9681 -7101 -7161 -7181 -7121 -7141 -7162 -7102 -6495 -6483 -7103 297 -107 -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -7105 862 -902 -10061 -9263 -10402 -6722 -6702 -5462 -5782 -7002 -7042 -7062 -7082 -7122 -7142 -7182 -9302 -10102 -10401 -7104 -863 -5043 -5403 -5743 -6063 -6383 -6423 -6443 -6463 -6503 -6523 -6543 -6563 -6583 -6603 -6623 -6643 -6663 -10063 -866 10062 -864 -865 -874 -877 -876 -873 -878 -871 -870 -872 -875 -869 -868 -867 -880 -879 -5046 -5406 -5746 -6066 -6386 -6426 -6446 -6466 -6486 -6506 -6526 -6546 -6566 -6586 -6606 -6626 -6646 -6666 -9266 -10066 -5044 -5404 -5744 -6064 -6384 -6424 -6444 -6464 -6484 -6504 -6524 -6544 -6564 -6584 -6604 -6624 -6644 -6664 -9264 -10064 -5045 -5405 -5745 -6065 -6385 -6425 -6445 -6465 -6485 -6505 -6525 -6545 -6565 -6585 -6605 -6625 -6645 -6665 -9265 -10065 -5054 -5414 -5754 -6074 -6394 -6434 -6454 -6474 -6494 -6514 -6534 -6554 -6574 -6594 -6614 -6634 -6654 -6674 -9274 -10074 -5057 -5417 -5757 -6077 -6397 -6437 -6457 -6477 -6497 -6517 -6537 -6557 -6577 -6597 -6617 -6637 -6657 -6677 -9277 -10077 -5056 -5416 -5756 -6076 -6396 -6436 -6456 -6476 -6496 -6516 -6536 -6556 -6576 -6596 -6616 -6636 -6656 -6676 -9276 -10076 -5053 -5413 -5753 -6073 -6393 -6433 -6453 -6473 -6493 -6513 -6533 -6553 -6573 -6593 -6613 -6633 -6653 -6673 -9273 -10073 -5058 -5418 -5758 -6078 -6398 -6438 -6458 -6478 -6498 -6518 -6538 -6558 -6578 -6598 -6618 -6638 -6658 -6678 -9278 -10078 -5051 -5411 -5751 -6071 -6391 -6431 -6451 -6471 -6491 -6511 -6531 -6551 -6571 -6591 -6611 -6631 -6651 -6671 -9271 -10071 -5050 -5410 -5750 -6070 -6390 -6430 -6450 -6470 -6490 -6510 -6530 -6550 -6570 -6590 -6610 -6630 -6650 -6670 -9270 -10070 -5052 -5412 -5752 -6072 -6392 -6432 -6452 -6472 -6492 -6512 -6532 -6552 -6572 -6592 -6612 -6632 -6652 -6672 -9272 -10072 -5055 -5415 -5755 -6075 -6395 -6435 -6455 -6475 -6515 -6535 -6555 -6575 -6595 -6615 -6635 -6655 -6675 -9275 -10075 -5049 -5409 -5749 -6069 -6389 -6429 -6449 -6469 -6489 -6509 -6529 -6549 -6569 -6589 -6609 -6629 -6649 -6669 -9269 -10069 -5048 -5408 -5748 -6068 -6388 -6428 -6448 -6468 -6488 -6508 -6528 -6548 -6568 -6588 -6608 -6628 -6648 -6668 -9268 -10068 -5047 -5407 -5747 -6067 -6387 -6427 -6447 -6467 -6487 -6507 -6527 -6547 -6567 -6587 -6607 -6627 -6647 -6667 -9267 -10067 -5060 -5420 -5760 -6080 -6400 -6440 -6460 -6480 -6500 -6520 -6540 -6560 -6580 -6600 -6620 -6640 -6660 -6680 -9280 -10080 -5059 -5419 -5759 -6079 -6399 -6439 -6459 -6479 -6499 -6519 -6539 -6559 -6579 -6599 -6619 -6639 -6659 -6679 -9279 -10079 982 -10181 -9383 6482 -4982 983 -10182 -9384 -10403 -903 -9399 -9385 -5783 -7003 -7043 -7063 -7083 -7123 -7143 -7163 -7183 -9303 -10103 1063 -10262 -9464 -9466 7943 7106 906 1066 -979 -786 -806 -846 -886 -946 -1166 -10105 -9307 -10406 -986 -926 -1146 -1106 -901 -826 -966 -1006 -1086 -1046 -1026 -10265 -9467 -7166 -1126 -9479 1064 1065 -980 -5159 -5519 -5859 -6179 -6759 -7019 -7259 -7479 -7699 -7719 -7739 -7759 -7779 -7799 -7819 -7839 -7859 -7879 -9379 -10179 -4986 -5006 -5026 -5066 -5106 -5126 -5146 -5166 -5186 -5206 -5226 -5246 -5266 -5286 -5306 -5326 -5346 -9186 -9986 -5366 -5386 -5466 -5486 -5506 -5526 -5546 -5566 -5586 -5606 -5626 -5646 -5666 -5686 -5706 -9206 -10006 -5726 -6086 -6126 -6146 -6166 -6186 -6206 -6226 -6246 -6266 -6286 -6306 -6326 -6346 -6366 -9246 -10046 -5766 -6706 -6726 -6746 -6766 -6786 -6806 -6826 -6846 -6866 -6886 -6906 -6926 -6946 -9286 -10086 -5826 -7226 -7466 -7486 -7506 -7526 -7546 -7566 -7586 -7606 -7626 -7646 -7666 -9346 -10146 -6046 -7446 -7866 -8046 -8206 -8346 -8466 -8566 -8646 -8706 -8746 -8766 -9566 -10366 -10405 -5866 -7266 -7686 -7886 -7906 -7926 -7946 -7966 -7986 -8006 -8026 -9386 -10186 -989 -987 -994 -991 -5806 -7246 -7286 -7306 -7326 -7346 -7366 -7386 -7406 -7426 -9326 -10126 -6026 -7186 -7846 -8186 -8326 -8446 -8546 -8626 -8686 -8726 -9546 -10346 -5986 -7146 -7806 -8146 -8286 -8406 -8506 -8586 -8666 -9506 -10306 -5781 -7001 -7041 -7061 -7081 -10101 -9301 -5786 -5846 -5886 -5906 -5926 -5946 -5966 -6006 -9226 -10026 -7006 -7706 -7726 -7746 -7766 -7786 -7826 -9366 -10166 -972 -967 -968 -971 -970 -973 -976 -969 -974 -978 -977 -975 -7046 -8066 -8086 -8106 -8126 -8166 -9406 -10206 -7126 -8266 -8386 -8486 -8606 -9486 -10286 -7086 -8226 -8366 -8426 -9446 -10246 -7066 -8246 -8306 -9426 -10226 -8526 -9526 -10326 -10263 -9465 -10404 -5784 -9365 -9471 -9468 -7084 -7164 -904 -10264 -7165 -7145 -905 -5160 -5520 -5860 -6180 -6760 -7020 -7260 -7480 -7700 -7720 -7740 -7760 -7780 -7800 -7820 -7840 -7860 -7880 -9380 -10180 -5169 -5529 -5869 -6189 -6769 -7269 -7489 -7689 -7889 -7909 -7929 -7949 -7969 -7989 -8009 -8029 -8049 -9389 -10189 -995 -996 -5167 -5527 -5867 -6187 -6767 -7267 -7487 -7687 -7887 -7907 -7927 -7947 -7967 -7987 -8007 -8027 -8047 -9387 -10187 -5174 -5534 -5874 -6194 -6774 -7274 -7494 -7694 -7894 -7914 -7934 -7954 -7974 -7994 -8014 -8034 -8054 -9394 -10194 -5171 -5531 -5871 -6191 -6771 -7271 -7491 -7691 -7891 -7911 -7931 -7951 -7971 -7991 -8011 -8031 -8051 -9391 -10191 -5152 -5512 -5852 -6172 -6752 -7012 -7252 -7472 -7692 -7712 -7732 -7752 -7772 -7792 -7812 -7832 -7852 -7872 -9372 -10172 -5147 -5507 -5847 -6167 -6747 -7007 -7247 -7467 -7707 -7727 -7747 -7767 -7787 -7807 -7827 -7847 -7867 -9367 -10167 -5148 -5508 -5848 -6168 -6748 -7008 -7248 -7468 -7688 -7708 -7728 -7748 -7768 -7788 -7808 -7828 -7848 -7868 -9368 -10168 -5151 -5511 -5851 -6171 -6751 -7011 -7251 -7471 -7711 -7731 -7751 -7771 -7791 -7811 -7831 -7851 -7871 -9371 -10171 -5150 -5510 -5850 -6170 -6750 -7010 -7250 -7470 -7690 -7710 -7730 -7750 -7770 -7790 -7810 -7830 -7850 -7870 -9370 -10170 -5153 -5513 -5853 -6173 -6753 -7013 -7253 -7473 -7693 -7713 -7733 -7753 -7773 -7793 -7813 -7833 -7853 -7873 -9373 -10173 -5156 -5516 -5856 -6176 -6756 -7016 -7256 -7476 -7696 -7716 -7736 -7756 -7776 -7796 -7816 -7836 -7856 -7876 -9376 -10176 -5149 -5509 -5849 -6169 -6749 -7009 -7249 -7469 -7709 -7729 -7749 -7769 -7789 -7809 -7829 -7849 -7869 -9369 -10169 -5154 -5514 -5854 -6174 -6754 -7014 -7254 -7474 -7714 -7734 -7754 -7774 -7794 -7814 -7834 -7854 -7874 -9374 -10174 -5158 -5518 -5858 -6178 -6758 -7018 -7258 -7478 -7698 -7718 -7738 -7758 -7778 -7798 -7818 -7838 -7858 -7878 -9378 -10178 -5157 -5517 -5857 -6177 -6757 -7017 -7257 -7477 -7697 -7717 -7737 -7757 -7777 -7797 -7817 -7837 -7857 -7877 -9377 -10177 -5155 -5515 -5855 -6175 -6755 -7015 -7255 -7475 -7695 -7715 -7735 -7755 -7775 -7795 -7815 -7835 -7855 -7875 -9375 -10175 9306 -7004 -7044 -7064 -7124 -7144 -7184 -9304 -10104 -1000 -5785 -7005 -7045 -7065 -7085 -7125 -7185 -9305 -5175 -5535 -5875 -6195 -6775 -7275 -7495 -7895 -7915 -7935 -7955 -7975 -7995 -8015 -8035 -8055 -9395 -10195 -5176 -5536 -5876 -6196 -6776 -7276 -7496 -7896 -7916 -7936 -7956 -7976 -7996 -8016 -8036 -8056 -9396 -10196 -997 -292 -5180 -5540 -5880 -6200 -6780 -7280 -7500 -7900 -7920 -7940 -7960 -7980 -8000 -8020 -8040 -8060 -9400 -10200 -5177 -5537 -5877 -6197 -6777 -7277 -7497 -7897 -7917 -7937 -7957 -7977 -7997 -8017 -8037 -8057 -9397 -10197 -988 -5168 -5528 -5868 -6188 -6768 -7268 -7488 -7888 -7908 -7928 -7948 -7968 -7988 -8008 -8028 -8048 -9388 -10188 -990 -5170 -5530 -5870 -6190 -6770 -7270 -7490 -7890 -7910 -7930 -7950 -7970 -7990 -8010 -8030 -8050 -9390 -10190 -3 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 822 -10021 -9223 5742 5862 -295 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -231 233 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 234 -43 942 -44 -831 -836 -832 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -10141 -9343 -9351 -9347 -9355 -9350 6442 7482 -5662 -9345 -882 -5102 -947 -949 -948 5822 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -5011 -5371 -5731 -5771 -5811 -5831 -5891 -5911 -5931 -5951 -5971 -5991 -6011 -6031 -6051 -9231 -10031 -834 -835 -837 -5016 -5376 -5736 -5776 -5816 -5836 -5896 -5916 -5936 -5956 -5976 -5996 -6016 -6036 -6056 -9236 -10036 -5012 -5372 -5732 -5772 -5812 -5832 -5872 -5892 -5912 -5932 -5952 -5972 -5992 -6012 -6032 -6052 -9232 -10032 -833 -838 861 -5062 -5762 -6082 -6382 -6742 -6762 -6782 -6802 -6822 -6842 -6862 -6882 -6902 -6922 -6942 -9282 -10082 -5127 -5487 -5827 -6147 -6727 -7227 -7507 -7527 -7547 -7567 -7587 -7607 -7627 -7647 -7667 -10147 -951 -5129 -5489 -5829 -6149 -6729 -7229 -7509 -7529 -7549 -7569 -7589 -7609 -7629 -7649 -7669 -9349 -10149 -950 -5128 -5488 -5828 -6148 -6728 -7228 -7508 -7528 -7548 -7568 -7588 -7608 -7628 -7648 -7668 -9348 -10148 -960 -5014 -5374 -5734 -5774 -5814 -5834 -5894 -5914 -5934 -5954 -5974 -5994 -6014 -6034 -6054 -9234 -10034 -5015 -5375 -5735 -5775 -5815 -5835 -5895 -5915 -5935 -5955 -5975 -5995 -6015 -6035 -6055 -9235 -10035 -5017 -5377 -5737 -5777 -5817 -5837 -5897 -5917 -5937 -5957 -5977 -5997 -6017 -6037 -6057 -9237 -10037 -839 -5013 -5373 -5733 -5773 -5813 -5833 -5873 -5893 -5913 -5933 -5953 -5973 -5993 -6013 -6033 -6053 -9233 -10033 -5018 -5378 -5738 -5778 -5818 -5838 -5878 -5898 -5918 -5938 -5958 -5978 -5998 -6018 -6038 -6058 -9238 -10038 -9262 9261 -6701 -5101 -5161 -5131 -5491 -6151 -6731 -7231 -7511 -7531 -7551 -7571 -7591 -7611 -7631 -7651 -7671 -10151 -953 -952 -956 -5130 -5490 -5830 -6150 -6730 -7230 -7510 -7530 -7550 -7570 -7590 -7610 -7630 -7650 -7670 -10150 -957 -5140 -5500 -5840 -6160 -6740 -7240 -7520 -7540 -7560 -7580 -7600 -7620 -7640 -7660 -7680 -9360 -10160 -5019 -5379 -5739 -5779 -5819 -5839 -5879 -5899 -5919 -5939 -5959 -5979 -5999 -6019 -6039 -6059 -9239 -10039 -5960 -840 -5133 -5493 -6153 -6733 -7233 -7493 -7513 -7533 -7553 -7573 -7593 -7613 -7633 -7653 -7673 -9353 -10153 -955 -954 -959 -5132 -5492 -6152 -6732 -7232 -7492 -7512 -7532 -7552 -7572 -7592 -7612 -7632 -7652 -7672 -9352 -10152 -5136 -5496 -6156 -6736 -7236 -7516 -7536 -7556 -7576 -7596 -7616 -7636 -7656 -7676 -9356 -10156 -5137 -5497 -6157 -6737 -7237 -7517 -7537 -7557 -7577 -7597 -7617 -7637 -7657 -7677 -9357 -10157 -958 -5020 -5380 -5740 -5780 -5820 -5900 -5920 -5940 -5980 -6000 -6020 -6040 -6060 -9240 -10040 -5135 -5495 -6155 -6735 -7235 -7515 -7535 -7555 -7575 -7595 -7615 -7635 -7655 -7675 -10155 -5134 -5494 -6154 -6734 -7234 -7514 -7534 -7554 -7574 -7594 -7614 -7634 -7654 -7674 -9354 -10154 -5139 -5499 -6159 -6739 -7239 -7499 -7519 -7539 -7559 -7579 -7599 -7619 -7639 -7659 -7679 -9359 -10159 -5138 -5498 -6158 -6738 -7238 -7498 -7518 -7538 -7558 -7578 -7598 -7618 -7638 -7658 -7678 -9358 -10158 984 -10183 7944 -993 -992 -998 -5173 -5533 -6193 -6773 -7273 -7893 -7913 -7933 -7953 -7973 -7993 -8013 -8033 -8053 -9393 -10193 -5172 -5532 -6192 -6772 -7272 -7892 -7912 -7932 -7952 -7972 -7992 -8012 -8032 -8052 -9392 -10192 -5178 -5538 -6198 -6778 -7278 -7898 -7918 -7938 -7958 -7978 -7998 -8018 -8038 -8058 -9398 -10198 -999 -5179 -5539 -6199 -6779 -7279 -7899 -7919 -7939 -7959 -7979 -7999 -8019 -8039 -8059 -10199 -781 -894 -890 -4981 -5001 -5021 -5041 -5121 -5141 -5181 -5201 -5221 -5241 -5261 -5281 -5301 -5321 -5341 -9981 -9181 -5074 -6094 -6714 -6794 -6814 -6834 -6854 -6874 -6894 -6914 -6934 -6954 -9294 -10094 -5070 -5770 -6090 -6710 -6790 -6810 -6830 -6850 -6870 -6890 -6910 -6930 -6950 -9290 -10090 -888 -5068 -5768 -6088 -6708 -6788 -6808 -6828 -6848 -6868 -6888 -6908 -6928 -6948 -9288 -10088 -896 -899 -5076 -6096 -6716 -6796 -6816 -6836 -6856 -6876 -6896 -6916 -6936 -6956 -9296 -10096 -5079 -6099 -6719 -6799 -6819 -6839 -6859 -6879 -6899 -6919 -6939 -6959 -9299 -10099 -898 -5078 -6098 -6718 -6798 -6818 -6838 -6858 -6878 -6898 -6918 -6938 -6958 -9298 -10098 287 -97 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -1122 -5302 -6002 -6322 -6622 -7402 -7622 -7822 -8002 -8162 -8302 -8422 -8522 -8602 -8662 -8722 -8742 -9522 -10322 -6901 -6907 -6903 -6909 -6920 -6911 -6912 -6913 -6915 -6917 -6904 -881 6905 -5761 -6081 -6381 -6721 -6741 -6761 -6781 -6801 -6821 -6841 -6861 -6881 -6921 -6941 -10081 -9281 885 1125 -261 -892 -10084 -805 6845 10085 -887 -889 -900 -897 -893 -891 -895 -10324 8525 10325 -1138 -1129 -1140 -1136 -1131 -1137 -1135 -1133 -1132 -1130 -1134 -1128 -1127 -1139 -1121 212 -5072 -6092 -6712 -6792 -6812 -6832 -6852 -6872 -6892 -6932 -6952 -9292 -10092 -4985 -5365 -5385 -5465 -5485 -5505 -5525 -5545 -5565 -5585 -5605 -5625 -5645 -5665 -5685 -5705 -9205 -10005 -814 -809 284 -5067 -5767 -6087 -6707 -6787 -6807 -6827 -6847 -6867 -6887 -6927 -6947 -9287 -10087 -5069 -5769 -6089 -6709 -6789 -6809 -6829 -6849 -6869 -6889 -6929 -6949 -9289 -10089 -5080 -6100 -6720 -6800 -6820 -6840 -6860 -6880 -6900 -6940 -6960 -9300 -10100 -5077 -6097 -6717 -6797 -6817 -6837 -6857 -6877 -6897 -6937 -6957 -9297 -10097 -5073 -6093 -6713 -6793 -6813 -6833 -6853 -6873 -6893 -6933 -6953 -9293 -10093 -5071 -6091 -6711 -6791 -6811 -6831 -6851 -6871 -6891 -6931 -6951 -9291 -10091 -5075 -6095 -6715 -6795 -6815 -6835 -6855 -6875 -6895 -6935 -6955 -9295 -10095 368 -5318 -5678 -6338 -7178 -7418 -8178 -8318 -8438 -8538 -8618 -8678 -8738 -8758 -9538 -10338 -5309 -5669 -6009 -6329 -7169 -7409 -8169 -8309 -8429 -8529 -8609 -8669 -8729 -8749 -9529 -10329 -5320 -5680 -6340 -7180 -7420 -8180 -8320 -8440 -8540 -8620 -8680 -8740 -8760 -9540 -10340 -5316 -5676 -6336 -7176 -7416 -8176 -8316 -8436 -8536 -8616 -8676 -8736 -8756 -9536 -10336 -5311 -5671 -6331 -7171 -7411 -8171 -8311 -8431 -8531 -8611 -8671 -8731 -8751 -9531 -10331 -5317 -5677 -6337 -7177 -7417 -8177 -8317 -8437 -8537 -8617 -8677 -8737 -8757 -9537 -10337 -5315 -5675 -6335 -7175 -7415 -8175 -8315 -8435 -8535 -8615 -8675 -8735 -8755 -9535 -10335 -5313 -5673 -6333 -7173 -7413 -8173 -8313 -8433 -8533 -8613 -8673 -8733 -8753 -9533 -10333 -5312 -5672 -6332 -7172 -7412 -8172 -8312 -8432 -8532 -8612 -8672 -8732 -8752 -9532 -10332 -5310 -5670 -6010 -6330 -7170 -7410 -8170 -8310 -8430 -8530 -8610 -8670 -8730 -8750 -9530 -10330 -5314 -5674 -6334 -7174 -7414 -8174 -8314 -8434 -8534 -8614 -8674 -8734 -8754 -9534 -10334 -5308 -5668 -6008 -6328 -7168 -7408 -8168 -8308 -8428 -8528 -8608 -8668 -8728 -8748 -9528 -10328 -5307 -5667 -6007 -6327 -7167 -7407 -8167 -8307 -8427 -8527 -8607 -8667 -8727 -8747 -9527 -10327 -5319 -5679 -6339 -7179 -7419 -8179 -8319 -8439 -8539 -8619 -8679 -8739 -8759 -9539 -10339 -5661 -6001 -6321 -6621 -7401 -7621 -7821 -8001 -8161 -8301 -8421 -8521 -8601 -8661 -8721 -8741 -10321 -9521 -22 -810 -4994 -5394 -5474 -5554 -5574 -5594 -5614 -5634 -5654 -5694 -5714 -9214 -10014 -817 -4989 -5369 -5389 -5469 -5549 -5569 -5589 -5609 -5629 -5649 -5689 -5709 -9209 -10009 -811 -94 -178 -300 -273 -10323 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -4990 -5370 -5390 -5470 -5550 -5570 -5590 -5610 -5630 -5650 -5690 -5710 -9210 -10010 -816 -819 -812 -815 -4997 -5397 -5477 -5557 -5577 -5597 -5617 -5637 -5657 -5697 -5717 -9217 -10017 -4991 -5391 -5471 -5551 -5571 -5591 -5611 -5631 -5651 -5691 -5711 -9211 -10011 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 110 242 -1241 -4996 -5396 -5476 -5556 -5576 -5596 -5616 -5636 -5656 -5696 -5716 -9216 -10016 -4999 -5399 -5479 -5559 -5579 -5599 -5619 -5639 -5659 -5699 -5719 -9219 -10019 -820 -4992 -5392 -5472 -5552 -5572 -5592 -5612 -5632 -5652 -5692 -5712 -9212 -10012 -4995 -5395 -5475 -5555 -5575 -5595 -5615 -5635 -5655 -5695 -5715 -9215 -10015 -52 -5000 -5400 -5480 -5560 -5580 -5600 -5620 -5640 -5660 -5700 -5720 -9220 -10020 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 8005 985 -10184 7945 10185 6765 -59 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 56 -246 -6083 -6084 -6085 -845 -5025 -5725 -6125 -6145 -6165 -6185 -6205 -6225 -6245 -6265 -6285 -6305 -6325 -6345 -6365 -9245 -10045 6003 823 1123 -10022 -9224 5863 -9225 5943 -9524 8003 8523 -6703 -883 9523 1124 239 -5063 -5763 -6723 -6743 -6763 -6783 -6803 -6823 -6843 -6863 -6883 -6923 -6943 -9283 -10083 -9525 8524 8004 -884 -49 -5064 -5764 -6704 -6724 -6744 -6764 -6784 -6804 -6824 -6844 -6864 -6884 -6924 -6944 -9284 9285 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 41 824 -10023 5944 5864 -830 -827 -829 6004 -5010 -5730 -5810 -5890 -5910 -5930 -5950 -5970 -5990 -6030 -6050 -9230 -10030 -5007 -5367 -5727 -5807 -5887 -5907 -5927 -5947 -5967 -5987 -6027 -6047 -9227 -10027 -828 -5009 -5729 -5809 -5889 -5909 -5929 -5949 -5969 -5989 -6029 -6049 -9229 -10029 -5008 -5368 -5728 -5808 -5888 -5908 -5928 -5948 -5968 -5988 -6028 -6048 -9228 -10028 216 -26 -813 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -4993 -5393 -5473 -5553 -5573 -5593 -5613 -5633 -5653 -5693 -5713 -9213 -10013 -1321 20 -210 -5361 -5362 -5363 -5364 230 5765 -802 -803 -804 -40 825 -5382 -5402 -5482 -5502 -5522 -5542 -5562 -5582 -5602 -5622 -5642 -5682 -5702 -9202 -10002 5521 5481 -4983 -5383 -5463 -5483 -5503 -5523 -5543 -5563 -5583 -5603 -5623 -5643 -5663 -5683 -5703 -9203 -10003 -4984 -5384 -5464 -5484 -5504 -5524 -5544 -5564 -5584 -5604 -5624 -5644 -5664 -5684 -5704 -9204 -10004 -818 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -10024 5945 10025 6005 5865 -925 -785 -7261 5401 801 981 941 6441 -808 -225 -4998 -5398 -5478 -5558 -5578 -5598 -5618 -5638 -5658 -5698 -5718 -9218 -10018 -5105 -5805 -6705 -7225 -7245 -7265 -7285 -7305 -7325 -7345 -7365 -7385 -7405 -7425 -7445 -9325 -10125 -929 -939 -932 -931 -934 -937 -5005 -5065 -5125 -5145 -5165 -5185 -5205 -5225 -5245 -5265 -5285 -5305 -5325 -5345 -9185 -9985 -799 -921 9201 -807 10001 -841 -1101 -1081 -1141 -1161 -821 -9382 9381 6481 7481 -9342 9341 -4988 -5388 -5468 -5548 -5568 -5588 -5608 -5628 -5648 -5688 -5708 -9208 -10008 312 -277 6422 -5109 -6129 -7289 -7309 -7329 -7349 -7369 -7389 -7429 -7449 -9329 -10129 -5119 -6139 -7299 -7319 -7339 -7359 -7379 -7399 -7439 -7459 -9339 -10139 -5112 -6132 -7292 -7312 -7332 -7352 -7372 -7392 -7432 -7452 -9332 -10132 -5111 -6131 -7291 -7311 -7331 -7351 -7371 -7391 -7431 -7451 -9331 -10131 -5114 -6134 -7294 -7314 -7334 -7354 -7374 -7394 -7434 -7454 -9334 -10134 -935 -5117 -6137 -7297 -7317 -7337 -7357 -7377 -7397 -7437 -7457 -9337 -10137 -195 -5039 -5199 -5219 -5239 -5259 -5279 -5299 -5339 -5359 -9199 -9999 -5461 -5801 -6121 -6421 -7221 -7241 -7281 -7301 -7321 -7341 -7361 -7381 -7421 -7441 -10121 -9321 -4987 -5387 -5467 -5547 -5567 -5587 -5607 -5627 -5647 -5687 -5707 -9207 -10007 -5381 -5721 -6061 -6141 -6161 -6181 -6201 -6221 -6241 -6261 -6281 -6301 -6341 -6361 -10041 -9241 -5641 -5981 -6601 -7601 -7801 -7981 -8141 -8281 -8401 -8501 -8581 -8681 -8701 -10301 -9501 -5621 -5961 -6581 -7581 -7781 -7961 -8121 -8261 -8381 -8481 -8621 -8641 -10281 -9481 -5681 -6021 -6641 -7641 -7841 -8021 -8181 -8321 -8441 -8541 -8761 -10341 -9541 -5701 -6041 -6661 -7661 -7861 -8041 -8201 -8341 -8461 -8561 -10361 -9561 -5741 -5821 -5841 -5861 -5881 -5901 -5921 -5941 -9221 9222 -211 -224 -226 -122 -940 263 25 -782 248 922 -5115 -6135 -7295 -7315 -7335 -7355 -7375 -7395 -7435 -7455 -9335 -10135 -215 -191 -222 -223 -227 -1167 -10161 228 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -5120 -6140 -7300 -7320 -7340 -7360 -7380 -7400 -7440 -7460 -9340 -10140 -73 -5002 -5022 -5042 -5122 -5142 -5162 -5182 -5202 -5222 -5242 -5262 -5282 -5322 -5342 -9182 -9982 -58 -9323 5802 7262 7222 -842 -933 9322 923 232 -963 192 197 -5601 -1061 240 244 -5347 -6367 -7447 -8207 -8347 -8467 -8567 -8647 -8707 -8767 -9567 -10367 -38 140 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -194 -791 -787 -790 -794 -795 -800 -798 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 303 -5722 -6062 -6122 -6142 -6162 -6182 -6202 -6222 -6242 -6262 -6282 -6302 -6342 -6362 -9242 -10042 -5113 -6133 -7293 -7313 -7333 -7353 -7373 -7393 -7433 -7453 -9333 -10133 -10122 -9324 7343 7263 -938 5803 7403 -936 -930 -42 -5143 -5843 -6163 -7243 -7463 -7683 -7703 -7723 -7743 -7763 -7783 -7803 -7823 -7843 -7863 -9363 -10163 -964 -965 -279 -333 5842 -2 -7 -6561 -7561 -7761 -7941 -8101 -8241 -8361 -10261 -9461 -50 -54 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -330 207 -5031 -5191 -5211 -5231 -5251 -5271 -5291 -5331 -5351 -9191 -9991 -5027 -5107 -5187 -5207 -5227 -5247 -5267 -5287 -5327 -9187 -9987 -5030 -5110 -5190 -5210 -5230 -5250 -5270 -5290 -5330 -5350 -9190 -9990 -5034 -5194 -5214 -5234 -5254 -5274 -5294 -5334 -5354 -9194 -9994 -796 -5035 -5195 -5215 -5235 -5255 -5275 -5295 -5335 -5355 -9195 -9995 -5040 -5200 -5220 -5240 -5260 -5280 -5300 -5340 -5360 -9200 -10000 -5038 -5118 -5198 -5218 -5238 -5258 -5278 -5298 -5338 -5358 -9198 -9998 -113 -245 309 -6138 -7298 -7318 -7338 -7358 -7378 -7398 -7438 -7458 -9338 -10138 -5116 -6136 -7296 -7316 -7336 -7356 -7376 -7396 -7436 -7456 -9336 -10136 -6130 -7290 -7310 -7330 -7350 -7370 -7390 -7430 -7450 -9330 -10130 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -199 -5144 -5844 -6164 -7244 -7464 -7684 -7704 -7724 -7744 -7764 -7784 -7804 -7824 -7844 -7864 -9364 -10164 -5845 -6745 -7465 -7685 -7705 -7725 -7745 -7765 -7785 -7805 -7825 -7845 -7865 -10165 265 217 962 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -7762 -17 204 -5036 -5196 -5216 -5236 -5256 -5276 -5296 -5336 -5356 -9196 -9996 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 193 55 258 -119 -250 -75 -27 5501 6462 7682 7462 10162 -1062 7242 -1162 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -14 -68 255 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 87 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 961 315 -5942 -6562 -7342 -7562 -7942 -8102 -8242 -8362 -8482 -8502 -8542 -8562 -9462 9463 304 -6042 -6662 -7442 -7662 -7862 -8042 -8202 -8342 -8462 -8642 -8702 -8762 -9562 -10362 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 5 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -65 -1801 -1341 -9362 9361 7681 6461 7461 -1041 -1021 -1001 -125 -270 -114 -275 -335 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -5581 -6541 -7541 -7741 -7921 -8081 -8221 -10241 -9441 -5561 -6521 -7521 -7721 -7901 -8061 -10221 -9421 -5541 -6501 -7501 -7701 -7881 -10201 -9401 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 379 -221 -220 -219 -189 237 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -47 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 370 -180 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 5103 783 -9184 5243 5303 5163 5003 -793 -797 9183 -789 -788 -5033 -5193 -5213 -5233 -5253 -5273 -5293 -5333 -5353 -9193 -9993 -5037 -5197 -5217 -5237 -5257 -5277 -5297 -5337 -5357 -9197 -9997 -5029 -5189 -5209 -5229 -5249 -5269 -5289 -5329 -5349 -9189 -9989 -792 -5028 -5108 -5188 -5208 -5228 -5248 -5268 -5288 -5328 -5348 -9188 -9988 -5032 -5192 -5212 -5232 -5252 -5272 -5292 -5332 -5352 -9192 -9992 289 -99 6945 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 1165 -10364 -945 -10363 -9570 8565 8745 10365 -1178 -1168 -1180 -1177 -1169 -1173 -1174 -1175 -1171 -1172 -1170 -1176 -1179 8045 6045 -5825 -6725 -7485 -7505 -7525 -7545 -7565 -7585 -7605 -7625 -7645 -7665 -10145 -6378 -8218 -8358 -8478 -8578 -8658 -8718 -8778 -9578 -10378 -6368 -7448 -8208 -8348 -8468 -8568 -8648 -8708 -8768 -9568 -10368 -6380 -8220 -8360 -8480 -8580 -8660 -8720 -8780 -9580 -10380 -6377 -8217 -8357 -8477 -8577 -8657 -8717 -8777 -9577 -10377 -6369 -8209 -8349 -8469 -8569 -8649 -8709 -8769 -9569 -10369 -6373 -8213 -8353 -8473 -8573 -8653 -8713 -8773 -9573 -10373 -6374 -8214 -8354 -8474 -8574 -8654 -8714 -8774 -9574 -10374 -6375 -8215 -8355 -8475 -8575 -8655 -8715 -8775 -9575 -10375 -6371 -8211 -8351 -8471 -8571 -8651 -8711 -8771 -9571 -10371 -6372 -8212 -8352 -8472 -8572 -8652 -8712 -8772 -9572 -10372 -6370 -8210 -8350 -8470 -8570 -8650 -8710 -8770 -10370 -6376 -8216 -8356 -8476 -8576 -8656 -8716 -8776 -9576 -10376 -6379 -8219 -8359 -8479 -8579 -8659 -8719 -8779 -9579 -10379 -278 -298 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -5123 -943 -944 -5823 -6143 -7223 -7483 -7503 -7523 -7543 -7563 -7583 -7603 -7623 -7643 -7663 -10143 10142 -323 -5124 -5824 -6144 -7224 -7484 -7504 -7524 -7544 -7564 -7584 -7604 -7624 -7644 -7664 -9344 -10144 -198 -249 -320 -1142 318 -325 -6022 -6642 -7422 -7642 -7842 -8022 -8182 -8322 -8442 -8622 -8682 -9542 -10342 -128 -9431 7522 -274 -324 -334 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 1022 -9423 -9424 -9430 6522 7902 5902 -9425 -1028 -1030 -1040 -1031 -1032 -1034 -1029 -1036 -1039 7302 -1037 -1035 -1033 9422 7722 -1102 268 -6228 -7308 -8068 -8228 -8248 -8268 -8288 -8328 -9428 -10228 -6230 -8070 -8230 -8250 -8270 -8290 -8330 -10230 -6240 -8080 -8240 -8260 -8280 -8300 -8340 -9440 -10240 -6231 -8071 -8231 -8251 -8271 -8291 -8331 -10231 -6232 -8072 -8232 -8252 -8272 -8292 -8332 -9432 -10232 -6234 -8074 -8234 -8254 -8274 -8294 -8334 -9434 -10234 -6229 -8069 -8229 -8249 -8269 -8289 -8329 -9429 -10229 -6236 -8076 -8236 -8256 -8276 -8296 -8336 -9436 -10236 -6239 -8079 -8239 -8259 -8279 -8299 -8339 -9439 -10239 307 -6237 -8077 -8237 -8257 -8277 -8297 -8337 -9437 -10237 -6235 -8075 -8235 -8255 -8275 -8295 -8335 -9435 -10235 -6233 -8073 -8233 -8253 -8273 -8293 -8333 -9433 -10233 328 -5982 -6602 -7382 -7602 -7802 -7982 -8142 -8282 -8402 -8582 -9502 -10302 -78 -117 -138 -272 -322 -332 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 30 -9601 -9881 -4578 -4561 -4573 -4574 -4575 -4576 -4579 -10381 -4577 -4580 -9861 -4562 -9801 -9901 -9581 9761 -562 561 -566 -564 -563 -568 -573 -571 -1342 -2362 -2942 -3202 -3902 -3942 -3962 -3982 -4002 -4022 -4042 -4062 -8962 -9762 -579 -580 -576 -577 -578 -565 -569 -574 -575 -570 -572 -567 -581 8961 -2081 -2221 -1821 -8970 -2181 -2801 -2781 -8966 -3061 -421 -541 -461 -521 -401 -381 -621 -8978 -8975 -1346 -2366 -2946 -3206 -3906 -3946 -3966 -3986 -4006 -4026 -4046 -4066 -9766 -1344 -2364 -2944 -3204 -3904 -3944 -3964 -3984 -4004 -4024 -4044 -4064 -8964 -9764 -1343 -2363 -2943 -3203 -3903 -3943 -3963 -3983 -4003 -4023 -4043 -4063 -8963 -9763 -4025 -1348 -2368 -2948 -3208 -3908 -3948 -3968 -3988 -4008 -4028 -4048 -4068 -8968 -9768 -4029 -1353 -2373 -2953 -3213 -3913 -3953 -3973 -3993 -4013 -4033 -4053 -4073 -8973 -9773 -1351 -2371 -2951 -3211 -3911 -3951 -3971 -3991 -4011 -4031 -4051 -4071 -8971 -9771 3961 -1359 -2379 -2959 -3219 -3919 -3959 -3979 -3999 -4019 -4039 -4059 -4079 -8979 -9779 -1360 -2380 -2960 -3220 -3920 -3960 -3980 -4000 -4020 -4040 -4060 -4080 -8980 -9780 -1356 -2376 -2956 -3216 -3916 -3956 -3976 -3996 -4016 -4036 -4056 -4076 -8976 -9776 -4037 -1357 -2377 -2957 -3217 -3917 -3957 -3977 -3997 -4017 -4057 -4077 -8977 -9777 -4038 -1358 -2378 -2958 -3218 -3918 -3958 -3978 -3998 -4018 -4058 -4078 -9778 -1345 -2365 -2945 -3205 -3905 -3945 -3965 -3985 -4005 -4045 -4065 -8965 -9765 -1349 -2369 -2949 -3209 -3909 -3949 -3969 -3989 -4009 -4049 -4069 -8969 -9769 -1354 -2374 -2954 -3214 -3914 -3954 -3974 -3994 -4014 -4034 -4054 -4074 -8974 -9774 -4035 -1355 -2375 -2955 -3215 -3915 -3955 -3975 -3995 -4015 -4055 -4075 -9775 -1350 -2370 -2950 -3210 -3910 -3950 -3970 -3990 -4010 -4030 -4050 -4070 -9770 -1352 -2372 -2952 -3212 -3912 -3952 -3972 -3992 -4012 -4032 -4052 -4072 -8972 -9772 -1347 -2367 -2947 -3207 -3907 -3947 -3967 -3987 -4007 -4027 -4047 -4067 -8967 -9767 -3221 -4081 -4121 -9781 -8981 -1561 -1981 -2121 -9621 -8821 -2921 -3181 -3701 -3741 -3781 -3801 -3841 -3861 -9741 -8941 -2261 -2581 -2601 -2701 -2741 -2841 -2861 -9661 -8861 -1661 -2901 -3161 -3481 -3521 -3561 -3581 -3621 -3641 -9721 -8921 -1181 -1581 -1621 -1641 -1741 -1761 -1781 -1841 -1881 -1901 -8801 -1261 -1281 -1381 -1401 -1421 -1461 -1481 -1521 -1541 -8781 -2421 -3001 -3261 -4261 -4421 -4441 -4461 -4481 -4521 -4541 -9821 -9021 -3562 -143 661 -9 -681 -9062 9061 -501 -441 -481 -761 662 -641 -601 -2481 -3321 -3981 -4321 -4581 -4781 -4821 -4841 -9081 -2301 -2881 -3201 -3241 -3281 -3341 -3381 -3401 -8901 -2281 -2361 -2401 -2441 -2501 -2541 -2561 -9641 -8841 -2941 -2981 -3021 -3081 -3121 -8881 -4061 -4401 -4661 -4901 -4961 -9961 -9161 -9063 -10382 -582 -2822 -422 -482 -522 -502 -722 -382 -442 -762 -642 -102 -3941 -4281 -4601 -4641 -9841 -9041 -701 -3901 -4301 -4341 -4381 -9001 -741 -141 108 105 -60 -89 71 -145 -3222 -4082 -4122 -4182 -4222 -8982 -9782 -1562 -1982 -2082 -2122 -2182 -2222 -8822 -9622 -1262 -1622 -2282 -2582 -2882 -2902 -2922 -2982 -3002 -3022 -3062 -3082 -3122 -8882 -9682 -1662 -3162 -3482 -3522 -3582 -3622 -3642 -8922 -9722 -1282 -1642 -2302 -2602 -3182 -3242 -3262 -3282 -3322 -3342 -3362 -3382 -3402 -8902 -9702 -9962 -9642 -1862 -3822 -4362 -4502 -4622 -4802 -4862 -4922 -9122 -9922 -1182 -1242 -1322 -1382 -1402 -1422 -1462 -1482 -1522 -1542 -8782 -9582 -1582 -2262 -2402 -2422 -2442 -2482 -2502 -2542 -2562 -8842 -1902 -2862 -3862 -4402 -4542 -4662 -4842 -4902 -4962 -9162 -1782 -2742 -3742 -4282 -4422 -4582 -4602 -4642 -9042 -9842 -139 -702 -4001 -4701 -4881 -9101 -4041 -137 -4741 -9941 -9141 -9882 -9822 8 -9602 106 -1842 -2802 -3802 -4342 -4482 -4702 -4782 -4882 -9102 -9902 -142 109 111 -9942 -144 104 -3563 -296 -299 -301 -294 -9802 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 338 238 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160 341 241 375 343 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 243 378 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 336 236 -148 -48 -151 306 -51 -185 -153 -53 -188 -146 -46 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -116 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -678 -1818 -2778 -3778 -4318 -4458 -4698 -4718 -4758 -9078 -9878 -9662 -682 -1822 -2782 -3782 -4322 -4462 -4682 -4822 -9082 -1105 -5985 -6885 -7985 -8145 -8285 -8405 -8505 -8585 -8665 -8685 -8705 -9505 -10305 -286 206 257 -16 -67 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -1323 -9742 9862 -663 -666 -669 -670 -675 -671 -674 -1803 -2763 -3763 -4303 -4443 -4563 -4683 -4703 -4743 -9863 -676 -679 -677 -680 -673 -672 -664 -668 -667 -665 -3764 -1806 -2766 -3766 -4306 -4446 -4566 -4686 -4706 -4746 -9066 -9866 -3780 -1809 -2769 -3769 -4309 -4449 -4569 -4689 -4709 -4749 -9069 -9869 -1810 -2770 -3770 -4310 -4450 -4570 -4690 -4710 -4750 -9070 -9870 -1815 -2775 -3775 -4315 -4455 -4695 -4715 -4755 -9075 -9875 -1811 -2771 -3771 -4311 -4451 -4571 -4691 -4711 -4751 -9071 -9871 -1814 -2774 -3774 -4314 -4454 -4694 -4714 -4754 -9074 -9874 -1816 -2776 -3776 -4316 -4456 -4696 -4716 -4756 -9076 -9876 -1819 -2779 -3779 -4319 -4459 -4699 -4719 -4759 -9079 -9879 -1817 -2777 -3777 -4317 -4457 -4697 -4717 -4757 -9077 -9877 -1820 -2780 -4320 -4460 -4700 -4720 -4760 -9080 -9880 -1813 -2773 -3773 -4313 -4453 -4693 -4713 -4753 -9073 -9873 -1812 -2772 -3772 -4312 -4452 -4572 -4692 -4712 -4752 -9072 -9872 -1804 -2764 -4304 -4444 -4564 -4684 -4704 -4744 -9064 -9864 -1808 -2768 -3768 -4308 -4448 -4568 -4688 -4708 -4748 -9068 -9868 -1807 -2767 -3767 -4307 -4447 -4567 -4687 -4707 -4747 -9067 -9867 -1805 -2765 -3765 -4305 -4445 -4565 -4685 -4705 -4745 -9065 -9865 -170 -176 -177 121 -311 -7383 -7384 -7387 -7388 -1103 -5283 -5983 -6303 -7983 -8143 -8283 -8403 -8503 -8583 -8663 -8683 -8703 -9503 -10303 5284 -9507 5984 7984 8664 1104 784 -1107 8504 10304 -1108 -1115 -1113 -1116 -1119 -1118 -1114 -1109 -1110 -1112 -1111 -1117 -1120 -924 9504 -9983 5244 5164 5304 5004 9984 -6307 -8147 -8287 -8407 -8507 -8587 -8687 -10307 367 -6308 -8148 -8408 -8508 -8588 -8688 -9508 -10308 -6315 -8155 -8415 -8515 -8595 -8695 -9515 -10315 -6313 -8153 -8413 -8513 -8593 -8693 -9513 -10313 -6316 -8156 -8416 -8516 -8596 -8696 -9516 -10316 -6319 -8159 -8419 -8519 -8599 -8699 -9519 -10319 -6318 -8158 -8298 -8418 -8518 -8598 -8698 -9518 -10318 -6314 -8154 -8414 -8514 -8594 -8694 -9514 -10314 -6309 -8149 -8409 -8509 -8589 -8689 -9509 -10309 -6310 -8150 -8410 -8510 -8590 -8690 -9510 -10310 -6312 -8152 -8412 -8512 -8592 -8692 -9512 -10312 -6311 -8151 -8411 -8511 -8591 -8691 -9511 -10311 -6317 -8157 -8417 -8517 -8597 -8697 -9517 -10317 -6320 -8160 -8420 -8520 -8600 -8700 -9520 -10320 -5104 -5804 -6124 -7264 -7284 -7304 -7324 -7344 -7364 -7404 -7424 -7444 -10124 10123 -927 -928 6304 -4382 -6127 -7287 -7307 -7327 -7347 -7367 -7427 -9327 -10127 -6128 -7288 -7328 -7348 -7368 -7428 -9328 -10128 844 -742 6123 -10043 6264 -849 -853 -859 6184 -856 -847 -860 -857 -852 6324 10044 -858 -855 -854 -850 -851 -848 5724 5024 -1882 -2842 -3842 -4522 -4742 -9142 843 -6209 -6249 -6269 -6289 -6349 -9249 -10049 -6213 -6253 -6273 -6293 -6353 -9253 -10053 -6219 -6259 -6279 -6299 -6359 -9259 -10059 -6216 -6256 -6276 -6296 -6356 -9256 -10056 -6207 -6227 -6247 -6267 -6287 -6347 -9247 -10047 -6220 -6260 -6280 -6300 -6360 -9260 -10060 -6217 -6257 -6277 -6297 -6357 -9257 -10057 -6212 -6252 -6272 -6292 -6352 -9252 -10052 -6218 -6238 -6258 -6278 -6298 -6358 -9258 -10058 -6215 -6255 -6275 -6295 -6355 -9255 -10055 -6214 -6254 -6274 -6294 -6354 -9254 -10054 -6210 -6250 -6270 -6290 -6350 -9250 -10050 -6211 -6251 -6271 -6291 -6351 -9251 -10051 -6208 -6248 -6268 -6288 -6348 -9248 -10048 -179 -9244 6263 6323 6183 5723 9243 5023 -1163 -1042 -5343 -6043 -6363 -7443 -8043 -8203 -8343 -8463 -8563 -8643 -8743 -8763 -9563 -5922 -6542 -7322 -7542 -7742 -7922 -8082 -8222 -8382 -9442 -10242 -314 -269 -319 -329 363 362 -173 -172 8404 -10243 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 1044 -703 -9445 8364 8424 -1049 7924 5924 5224 6244 -1843 -2803 -3083 -3343 -3583 -3803 -4343 -4483 -4783 -4883 -4903 -9103 -9903 360 -8089 -8369 -8389 -8449 -9449 -10249 203 254 -13 -64 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 118 -308 -7323 -1043 -5223 -5923 -6243 -7923 -8083 -8223 -8363 -8383 -8423 -8443 -9443 9444 -1057 -8097 -8377 -8397 -8457 -9457 -10257 -160 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -1640 -11 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1523 18 -208 -5323 -5324 288 -1143 -1144 -98 6925 -6023 -6343 -7423 -8023 -8183 -8323 -8543 -8623 -8723 -9543 -10343 -6024 -6344 -8024 -8184 -8324 -8444 -8544 -8624 -8684 -8724 -8764 -9544 -10344 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 1145 -313 -1155 6025 -259 8025 -376 8725 -9551 -9417 -9416 -9408 -9548 -9547 8545 10345 -1159 -1160 -1147 -1148 -1158 -1157 -1154 -1150 -1152 -1153 -1151 -1149 -1156 8765 -1005 -1085 -1045 -1025 -1014 -1012 -1013 -1010 -1017 -1018 -1016 -1015 -1007 -1009 -1008 -1011 -1019 -1020 9545 -8195 -8455 -8555 -8635 -9555 -10355 347 369 -8199 -8459 -8559 -8639 -9559 -10359 -8200 -8460 -8560 -8640 -9560 -10360 -8187 -8327 -8447 -8547 -8627 -10347 -8188 -8448 -8548 -8628 -10348 -8198 -8338 -8458 -8558 -8638 -9558 -10358 -8197 -8557 -8637 -9557 -10357 -8194 -8454 -8554 -8634 -9554 -10354 -8190 -8450 -8550 -8630 -9550 -10350 -8192 -8452 -8552 -8632 -9552 -10352 -8193 -8453 -8553 -8633 -9553 -10353 -8191 -8451 -8551 -8631 -10351 -8189 -8549 -8629 -9549 -10349 -8196 -8456 -8556 -8636 -9556 -10356 380 -5885 -6785 -7885 -8065 -8085 -8105 -8125 -8165 -8185 -8205 -9405 -10205 -5965 -6865 -7965 -8265 -8385 -8485 -8605 -8625 -8645 -9485 -10285 -1100 -5925 -6825 -7925 -8225 -8365 -8425 -8445 -8465 -10245 10244 -1059 -1060 -1050 -1056 -1052 -1051 -1055 -1053 -1048 -1054 -1047 -1058 -5905 -6805 -7905 -8245 -8305 -8325 -8345 -10225 -1038 -1027 -8094 -8114 -8134 -9414 -10214 -8092 -8112 -8132 -9412 -10212 -8093 -8113 -8133 -9413 -10213 -8090 -8110 -8130 -9410 -10210 -8117 -8137 -10217 -8078 -8098 -8118 -8138 -9418 -10218 -8096 -8116 -8136 -10216 -8095 -8115 -8135 -9415 -10215 -8067 -8087 -8107 -8127 -9407 -10207 -8109 -8129 -9409 -10209 -8088 -8108 -8128 -10208 -8091 -8111 -8131 -9411 -10211 -8099 -8119 -8139 -9419 -10219 -8100 -8120 -8140 -9420 -10220 -157 -373 -358 -364 -351 -190 -281 -1099 -285 -8400 -8500 -9500 -10300 -283 -8379 -8399 -9459 -10259 -8380 -9460 -10260 -8370 -8390 -9450 -10250 -10255 -8376 -8396 -9456 -10256 -8372 -8392 -9452 -10252 -8371 -8391 -9451 -10251 -8375 -8395 -9455 -8373 -8393 -9453 -10253 -8368 -8388 -9448 -10248 -8374 -8394 -9454 -10254 -8227 -8367 -8387 -9447 -10247 -8238 -8378 -8398 -9458 -10258 -282 -8258 -8278 -9438 -10238 -8247 -8267 -9427 -10227 -4302 271 310 355 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -8499 -9499 -10299 1082 321 33 -602 -81 6582 -1098 -1095 -120 -165 -9483 7582 7962 5962 -1089 7362 9482 -267 7782 8262 -1002 -205 -1090 -1091 -1097 -131 -1742 -2702 -3702 -4262 -9002 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -8498 -9498 -10298 -8495 -9495 -10295 -1096 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -8489 -9489 -10289 -6502 350 346 349 201 252 331 -5882 -7282 -7502 -7702 -7882 -8062 -8122 -9402 -10202 5183 -5263 -5264 -8490 -9490 -10290 -8491 -9491 -10291 -8497 -9497 -10297 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -8496 -9496 -10296 -683 -156 8084 -159 8144 -62 7283 -317 -327 1003 -1083 -1084 -1463 -1823 -2483 -3063 -3323 -4323 -4583 -4803 -4823 -4843 -9083 -9883 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 1004 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -9404 7883 8103 5883 8163 6203 -1023 9403 -5963 -6283 -7363 -7963 -8123 -8263 -8483 -8603 -10283 10282 -1094 -1093 -1092 -1087 -1088 -5964 -6284 -7964 -8124 -8264 -8384 -8484 -8584 -8604 -8644 -9484 -10284 -372 -10203 8104 7884 8164 5884 5184 10204 6204 -5203 -5903 -6223 -7303 -7903 -8063 -8243 -8303 -10223 -1024 10222 -253 -8494 -9494 -10294 -8493 -9493 -10293 -8492 -9492 -10292 -8487 -9487 -10287 -8488 -9488 -10288 -256 -348 -361 -371 -374 -5204 -5904 -6224 -7904 -8064 -8224 -8244 -8284 -8304 -8344 -10224 10407 -366 -202 -345 -353 -354 -356 -357 -359 -907 -1067 10408 -7107 -10107 -918 -919 -920 -917 -916 -912 -914 -913 -915 -911 -910 -909 -908 10106 -10267 -1079 -1069 -1080 -1075 -1074 -1071 -1068 -1070 -1078 -1077 -1072 -1076 -1073 10266 10409 -7118 -9318 -10118 10418 -7119 -9319 -10119 -7120 -9320 -10120 10420 -7117 -9317 -10117 -7116 -9316 -10116 -7112 -9312 -10112 -7114 -9314 -10114 10414 -7113 -9313 -10113 10413 -7115 -9315 -10115 10415 -7111 -9311 -10111 10411 -7110 -9310 -10110 10410 -7109 -9309 -10109 -7108 -9308 -10108 -10279 10419 -9469 -10269 -9480 -10280 -9475 -10275 -9474 -10274 -10271 -10268 -9470 -10270 -9478 -10278 -9477 -10277 10417 -9472 -10272 10412 -9476 -10276 10416 -9473 -10273 -1540 -1524 -1525 -1526 -1527 -1528 -1531 -1532 -1533 -1529 -9948 -1530 -9943 -9950 -1534 -753 -1893 -2553 -2853 -3393 -3633 -3853 -4393 -4533 -4653 -4833 -4893 -9153 -9953 -1674 -1885 -1886 -1884 -1680 -1679 -1677 -1538 -2905 -1537 -1539 -751 -1891 -2551 -2851 -3391 -3631 -3851 -4391 -4531 -4651 -4831 -4891 -9151 -9951 -750 -1890 -2550 -2850 -3390 -3630 -3850 -4390 -4530 -4650 -4830 -4890 -9150 -746 -2546 -2846 -3386 -3626 -3846 -4386 -4526 -4646 -4826 -4886 -9146 -9946 1535 395 755 -616 -9594 -8796 -10395 -595 -9583 -9584 -8797 -9589 -9588 -9592 -9591 -9590 -535 -455 -435 -735 -715 -655 -615 -9954 -9156 -9159 -749 -744 -748 -775 -752 -747 -495 -743 -745 -619 -620 -617 -618 -1756 -2716 -2996 -3256 -3716 -4276 -4336 -4396 -4416 -9016 -9816 -10394 -3235 -8995 -9795 -1675 -2915 -3175 -3535 -3595 -3635 -3655 -8935 -9735 -1595 -2275 -2295 -2315 -2435 -2495 -2555 -2575 -8855 -9655 -1575 -1995 -8835 -9635 -1875 -2835 -3375 -3835 -4515 -4815 -9135 -9935 -1855 -2815 -3095 -3355 -3815 -4495 -4795 -4895 -4915 -9115 -9915 -1795 -2755 -3035 -3295 -3755 -4435 -4595 -4655 -4675 -9055 -9855 -1755 -2715 -2995 -3255 -3715 -4275 -4335 -4395 -4415 -9015 -9815 -1889 -2549 -2849 -3389 -3629 -3849 -4389 -4529 -4649 -4829 -4889 -9149 -9949 -2544 -2844 -3384 -3624 -3844 -4384 -4524 -4644 -4824 -4884 -9144 -9944 -1888 -2548 -2848 -3388 -3628 -3848 -4388 -4528 -4648 -4828 -4888 -9148 -1555 -1915 -2875 -3415 -3875 -4555 -4855 -9175 -9975 -1892 -2552 -2852 -3392 -3632 -3852 -4392 -4532 -4652 -4832 -4892 -9152 -9952 -1887 -2547 -2847 -3387 -3627 -3847 -4387 -4527 -4647 -4827 -4887 -9147 -9947 -1275 -1635 -2595 -2895 -2935 -3015 -3075 -8895 -9695 -1883 -2543 -2843 -3383 -3623 -3843 -4383 -4523 -4643 -9143 -2545 -2845 -3385 -3625 -3845 -4385 -4525 -4645 -4825 -4885 -9145 -9945 -1759 -2719 -2999 -3259 -3719 -4279 -4339 -4399 -4419 -9019 -9819 -1760 -2720 -3000 -3260 -3720 -4280 -4340 -4400 -4420 -9020 -9820 -1757 -2717 -2997 -3257 -3717 -4277 -4337 -4397 -4417 -9017 -9817 -1758 -2718 -2998 -3258 -3718 -4278 -4338 -4398 -4418 -9018 -9818 -10393 -10392 -10391 -10390 -10389 -10388 -10387 -10386 -10385 -10384 -10383 -2598 -2599 -2597 -2596 -2600 -2594 -8897 -8894 -1638 -1639 -8899 -8898 -414 -1194 -1574 -1594 -1634 -1654 -1754 -1774 -1794 -1834 -1854 -1874 -1894 -1914 -8814 -9614 -1637 -496 -8818 -497 -498 -499 -1276 -1636 -2296 -2896 -2916 -2936 -3016 -3036 -3076 -3096 -8896 -9696 -1277 -2297 -2897 -2917 -2937 -3017 -3037 -3077 -3097 -9697 -2938 -500 -1278 -2298 -2898 -2918 -3018 -3038 -3078 -3098 -9698 -2939 -1279 -2299 -2899 -2919 -3019 -3039 -3079 -3099 -9699 -8815 -417 -416 -415 -1280 -2300 -2900 -2920 -2940 -3020 -3040 -3080 -3100 -8900 -9700 -8859 -1197 -1577 -1597 -1657 -1777 -1797 -1837 -1857 -1877 -1897 -1917 -8817 -9617 -1878 -418 -420 -1196 -1576 -1596 -1656 -1676 -1776 -1796 -1836 -1856 -1876 -1896 -1916 -8816 -9616 -419 -1195 -1655 -1775 -1835 -1895 -9615 -36 -4514 -734 -434 -457 -8856 -1198 -1578 -1598 -1658 -1678 -1778 -1798 -1838 -1858 -1898 -1918 -9618 -1579 -1199 -1200 -1580 -1600 -1660 -1780 -1800 -1840 -1860 -1880 -1900 -1920 -8820 -9620 -9603 -1599 -1659 -1779 -1799 -1839 -1859 -1879 -1899 -1919 -8819 -9619 -635 -2834 -3374 -3834 -4814 -9134 -9934 -1994 -8834 -9634 -436 -2277 -2317 -2437 -2497 -2557 -2577 -8857 -9657 -458 -459 -456 -8914 -8916 -8918 -8917 -8919 -8938 -8936 -8937 -536 -8934 -9038 -637 -638 -9095 -9097 -9037 -9035 -636 -9036 -1415 -3275 -4535 -9835 -1996 -8836 -9636 -2278 -2318 -2438 -2498 -2558 -2578 -8858 -9658 -460 -2279 -2319 -2439 -2499 -2559 -2579 -9659 -2276 -2316 -2436 -2496 -2556 -2576 -9656 -537 -3176 -3536 -3596 -3636 -3656 -9736 -539 -538 -1417 -3277 -4437 -4497 -4517 -4537 -4557 -9837 -640 -639 -1418 -3278 -4438 -4498 -4518 -4538 -4558 -9838 -1416 -3276 -4436 -4496 -4516 -4536 -4556 -9836 -2280 -2320 -2440 -2500 -2560 -2580 -8860 -9660 -3177 -3537 -3597 -3637 -3657 -9737 -540 -3179 -3539 -3599 -3639 -3659 -8939 -9739 -3178 -3538 -3598 -3638 -3658 -9738 -1420 -3280 -4440 -4500 -4520 -4540 -4560 -9040 -9840 -1419 -3279 -4439 -4499 -4519 -4539 -4559 -9039 -9839 -8915 -3180 -3540 -3600 -3640 -3660 -8940 -9740 -9054 -2854 394 -9593 -8795 -594 -534 -454 -714 -654 -754 -614 -3234 -8994 -9794 -2914 -3174 -3534 -3594 -3634 -3654 -9734 -2274 -2294 -2314 -2434 -2494 -2554 -2574 -8854 -9654 -2814 -3094 -3354 -3814 -4494 -4794 -4894 -4914 -9114 -9914 -2754 -3034 -3294 -3754 -4434 -4594 -4654 -4674 -9854 -3394 -3854 -4394 -4534 -4834 -9154 9155 -2714 -2994 -3254 -3714 -4274 -4334 -4414 -9014 -9814 -8933 -123 -69 -161 -168 -9094 -396 -1256 -1296 -1336 -1476 -1536 -1556 -9596 -398 -397 -400 9595 -399 -1258 -1298 -1338 -1478 -1558 -8798 -9598 -1257 -1297 -1337 -1477 -1557 -9597 -1260 -1300 -1340 -1480 -1560 -8800 -9600 -1259 -1299 -1339 -1479 -1559 -8799 -9599 -9056 -656 -2756 -3296 -3756 -4596 -4656 -4676 -9856 -9136 -736 -2836 -3376 -3836 -4816 -9936 -10396 2593 473 493 -633 492 -553 -9672 -8874 -433 -593 -9671 -9668 -9669 -1633 -413 -533 -693 -8875 -9692 -2833 -9686 -9688 -9691 -9689 -9683 -733 -773 -9687 -3333 -1413 -1773 -2433 -3013 -3273 -4273 -4433 -4493 -4513 -4553 -9033 -9833 -592 -8893 -9685 -2832 -9684 -732 -432 -772 -4812 -1333 -2933 -3193 -3713 -3753 -3813 -3833 -3873 -8953 -9753 -1573 -1993 -8833 -9633 -3233 -8993 -9793 -1243 -1193 -1593 -1653 -1673 -1753 -1793 -1833 -1853 -1873 -1913 -8813 -9613 -2913 -3173 -3533 -3593 -3653 -9733 -1473 -2493 -3073 -4333 -4593 -4793 -4813 -4853 -9093 -9893 -694 -3373 -9133 -9933 -1553 -2573 -2873 -3413 -4413 -4673 -4913 -9173 -9973 -8812 -3232 -8992 -9792 -1872 -3372 -3832 -4512 -9132 -9932 -1572 -1992 -8832 -9632 -1552 -1912 -2572 -2872 -3412 -3652 -3872 -4412 -4552 -4672 -4852 -4912 -9172 -9972 -591 -1474 -3074 -3334 -4854 -9894 -695 -440 -9604 -439 -3231 -8991 -9791 -1475 -3335 -4835 -9895 -696 -698 -2000 -8840 -9640 -1999 -8839 -9639 -3336 -4796 -4836 -4856 -9096 -9896 -697 -3338 -4598 -4798 -4818 -4838 -4858 -9098 -9898 -699 -3337 -4597 -4797 -4817 -4837 -4857 -9897 -3339 -4599 -4799 -4819 -4839 -4859 -9099 -9899 -700 -9034 -632 -3340 -4600 -4800 -4820 -4840 -4860 -9100 -9900 -634 -1412 -1772 -2432 -3012 -3272 -4272 -4432 -4492 -9032 -9832 -183 -1414 -3014 -3274 -4554 -9834 -9176 -776 -2876 -3416 -3876 -4916 -9976 2592 472 -552 -8873 -412 -532 -692 -1332 -2932 -3192 -3712 -3752 -3812 -8952 -9752 -1192 -1592 -1632 -1652 -1672 -1752 -1792 -1832 -1852 -9612 -464 -2912 -3172 -3532 -3592 -8932 -9732 -1472 -2492 -3072 -3332 -4332 -4592 -4792 -9092 -9892 -8892 491 -9031 -1244 -2264 -2584 -2604 -2704 -2744 -2804 -2824 -2864 -8864 -9664 -2823 -462 -463 -9112 -9690 -731 -431 -771 -3371 -4811 -2762 -8862 -2263 -2583 -2603 -2703 -2743 -2863 -8863 -9663 -1871 -2831 -3831 -4511 -9131 -9931 -1571 -1991 -8831 -9631 -1551 -1911 -2571 -2871 -3411 -3651 -3871 -4411 -4551 -4671 -4851 -4911 -9171 -9971 -80 -9643 -8794 393 -9586 -9587 -453 -713 -613 -653 1253 1273 -2273 -2293 -2313 -8853 -9653 -2813 -3093 -3353 -9113 -9913 -2713 -2993 -3253 -9013 -9813 -2753 -3033 -3293 -9053 -9853 4 -716 -2816 -3356 -3816 -4896 -9116 -9916 -85 -2865 -2866 -2867 -2868 -2869 -2870 -2874 -2877 -2878 -2879 -2880 -474 -1254 -2614 -9674 -475 -476 -479 -480 -478 -477 9673 -1255 -2615 -2855 -9675 -2616 -2856 -8876 -9676 -2619 -2759 -2819 -2839 -2859 -8879 -9679 -2620 -2760 -2820 -2840 -2860 -8880 -9680 -2618 -2758 -2818 -2838 -2858 -8878 -9678 -2617 -2757 -2817 -2837 -2857 -8877 -9677 -84 -8920 134 37 -9174 -777 -9177 -778 -780 -774 8954 -3417 -3877 -4677 -4917 -9977 -3418 -3878 -4678 -4918 -9178 -9978 -779 -3420 -3880 -4680 -4920 -9180 -9980 -1554 -3414 -3874 -9974 554 -3419 -3879 -4679 -4919 -9179 -9979 -8955 -8957 -8956 -547 -545 -544 -546 -543 -542 -551 -548 -550 -549 1334 8996 -1327 -2927 -3187 -3707 -3747 -3807 -3827 -3867 -8947 -9747 -1325 -2925 -3185 -3705 -3745 -3805 -3825 -3865 -8945 -9745 -1324 -2924 -3184 -3704 -3744 -3804 -3824 -3864 -8944 -9744 -1326 -2926 -3186 -3706 -3746 -3806 -3826 -3866 -8946 -9746 -130 -2923 -3183 -3703 -3743 -3823 -3863 -8943 -9743 -3762 -8942 -1331 -2931 -3191 -3711 -3751 -3811 -8951 -9751 -1328 -2928 -3188 -3708 -3748 -3808 -3828 -3868 -8948 -9748 -1330 -2930 -3190 -3710 -3750 -3810 -3830 -3870 -8950 -9750 -1329 -2929 -3189 -3709 -3749 -3809 -3829 -3869 -8949 -9749 596 -127 -135 -3223 -9712 -9713 -8997 -556 -756 -589 -588 -587 -586 -585 -590 88 124 -3196 -3856 -9756 -559 -557 -133 -558 -3396 -9956 9955 -757 -758 -760 -759 -3229 -8989 -9789 -3228 -8988 -9788 -3227 -8987 -9787 -3226 -8986 -9786 -3225 -8985 -9785 -584 -3230 -8990 -9790 2934 494 3855 -3199 -3759 -3819 -3839 -3859 -8959 -9759 -560 -3197 -3757 -3817 -3837 -3857 -9757 -3838 -3840 -3198 -3758 -3818 -3858 -8958 -9758 -3397 -4657 -4897 -9157 -9957 -3398 -4658 -4898 -9158 -9958 -3400 -3860 -4660 -4900 -9160 -9960 -3399 -4659 -4899 -9959 -3224 -8984 -9784 -583 -9783 -9693 1274 9694 555 -3200 -3760 -3820 -8960 -9760 -129 -174 3395 -186 -9710 516 -9709 -8983 -9754 1335 9755 -132 515 -9715 -9707 -9703 -9706 3236 -9714 1295 514 3195 513 1294 512 2894 3194 2613 2893 1293 -9711 -8913 2892 2612 8793 -392 -388 -390 -391 -389 -387 -1252 -1272 -1292 -8792 -1 -384 -386 -1188 -1248 -1268 -1288 -1408 -1468 -1548 -8788 -385 -383 -1190 -1250 -1270 -1290 -1410 -1470 -1550 -8790 -1191 -1251 -1271 -1291 -1411 -1471 -8791 -1189 -1249 -1269 -1289 -1409 -1469 -1549 -8789 -1187 -1247 -1267 -1287 -1407 -1467 -1547 -8787 -1183 -1184 -1185 -1186 -1264 -1284 -1404 -1464 -1544 -8784 -1246 -1266 -1286 -1406 -1466 -1546 -8786 -1245 -1265 -1285 -1405 -1465 -1545 -8785 -9585 -1263 -1283 -1403 -1543 -8783 -9705 -19 -9708 -9704 -15 -12 -3584 -2904 -9967 -9904 -8926 -8906 -9026 -8806 -8826 -8846 -8866 -9046 -9126 -9086 -9106 -8886 -765 -1905 -2565 -3405 -3645 -4405 -4545 -4665 -4845 -4905 -9165 -9965 -9884 -9624 -9724 -9964 -764 -1904 -2564 -3404 -3644 -4404 -4544 -4664 -4844 -4904 -9164 -3643 -9963 -763 -1903 -2563 -3403 -4403 -4543 -4663 -9163 -485 -1625 -2285 -2585 -2885 -2985 -3005 -3025 -3065 -3085 -8885 -484 -486 -1624 -2284 -2884 -2984 -3004 -3024 -3064 -3084 -8884 -483 -1626 -2286 -2586 -2886 -2906 -2986 -3006 -3026 -3066 -3086 -1623 -2283 -2883 -2903 -2983 -3003 -3023 -8883 -9605 -9645 -9723 -9725 -9803 -9805 504 508 510 -8905 -8911 505 507 -8909 506 509 511 -8912 -8908 -8907 -8910 2891 -8811 -2830 -3646 -3647 3648 528 768 -468 -9727 -8929 -728 -428 -448 -628 -608 -688 -8930 -9726 -8931 3168 -1868 -429 -9169 -9966 -9170 -488 -2828 3408 -2268 -2588 -2608 -2708 -2748 -2808 -8868 -466 -467 -465 -3368 -4508 -4808 -9128 -9928 -1568 -1988 -8828 -9628 -1588 -2288 -2308 -2428 -2488 -2568 -8848 -9648 -1768 -3008 -3268 -4268 -4428 -4488 -4548 -9028 -9828 -1748 -2988 -3248 -4328 -4408 -9008 -9808 -1828 -3068 -3328 -4588 -4788 -4848 -9088 -9888 -2570 -1569 -1989 -8829 -9629 -1628 -2888 -2908 -3028 -3088 -8888 -487 -2266 -2606 -2706 -2746 -2806 -2826 -9666 -2267 -2587 -2607 -2707 -2747 -2807 -2827 -8867 -9667 -2265 -2605 -2705 -2745 -2805 -2825 -8865 -9665 -2287 529 -1627 -2887 -2907 -2987 -3007 -3027 -3067 -3087 -8887 -9646 -9647 -447 -9644 -9728 -629 -729 -469 -449 -609 -689 -2589 3169 -1869 -1570 -9606 -1587 -2307 -2427 -2487 -2567 -8847 -445 -446 -444 -1769 -2429 -3009 -3269 -4269 -4429 -4489 -4509 -4549 -9029 -9829 -2829 -3369 -4809 -9129 -9929 -2269 -2609 -2709 -2749 -2809 -8869 -1589 -2289 -2309 -2489 -2569 -8849 -9649 -1749 -2989 -3249 -4329 -4409 -9009 -9809 -1829 -3069 -3329 -4589 -4789 -4849 -9089 -9889 -430 -438 -1585 -2305 -2425 -2485 -8845 -443 -1586 -2306 -2426 -2486 -2566 -1584 -2304 -2424 -2484 -8844 -83 -1990 -8830 -9630 -1998 -8838 -9638 -1583 -2303 -2423 -8843 -70 35 -737 -3377 -9137 -9937 -3523 -9843 -704 503 403 -1844 -3344 -4484 -4784 -9104 -8904 8903 -8804 404 1643 405 -8805 -8808 -8810 1644 406 1645 407 -424 -8807 -8809 1646 408 1647 -1564 -1984 -8824 -9607 1648 409 1908 1668 -9608 1649 1669 -3524 -9844 -523 -1663 -705 -3163 -8923 -524 -1845 -3345 -3585 -4485 -4785 -9105 -9905 -706 -1664 -3164 -8924 -652 -1846 -3346 -3586 -4486 -4786 -4906 -9906 -4510 -4550 -2752 -3032 -3292 -9052 -9852 647 -9846 -9048 -9051 -9050 -9845 -9049 -727 -427 -659 -707 -607 -660 3287 1787 -526 -3525 -426 -525 -1867 -3367 -4507 -4807 -9127 -9927 -1567 -1987 -8827 -9627 -3299 -9059 -9859 -1847 -3347 -3587 -4487 -4787 -4907 -9107 -9907 -1747 -3247 -4267 -4327 -4407 -9007 -9807 -3300 -9060 -9860 31 -1666 -3166 -3526 -1566 -1986 -9626 -1665 -3165 -8925 3528 648 -9847 -708 3288 4668 1788 -9030 -1848 -3348 -3588 -4908 -9108 -9908 175 -630 -365 -1770 -2430 -3010 -3270 -4270 -4430 -4490 -9830 -631 -8464 -1771 -2431 -3011 -3271 -4271 -4431 -4491 -9831 -1164 -63 -92 -166 -5344 -6044 -6364 -8044 -8204 -8564 -8704 -8744 -9564 9565 -209 -260 -352 -377 9806 606 -611 -610 -77 -9804 -726 -646 -9011 -9012 3246 -612 1746 -1751 -2711 -2991 -3251 -4331 -9811 -1750 -2710 -2990 -3250 -4330 -4410 -9010 -9810 -2712 29 -4324 -4505 -1866 -3366 -4506 -4806 -9926 -1786 -3286 -4426 -4586 -4666 9047 -645 -644 -2271 -2992 -3252 -9812 -91 -9168 -643 -1785 -3285 -4425 -4585 -9045 -1784 -3284 -4424 -4584 -9044 162 767 8928 -1783 -3283 -4423 -9043 4406 766 3407 -527 1907 4667 -9167 3406 9166 1906 -1667 -3167 -3527 -8927 -3531 -9827 -627 9887 -1767 -3267 -4427 -4547 -9027 687 -691 -690 -163 -9886 -9090 -9885 3327 1827 4847 4587 -1831 -2491 -3071 -3331 -4591 -4791 -9091 -9891 -1830 -2490 -3070 -3330 -4590 -4790 -4810 -4850 -9890 184 171 -66 -95 -181 -470 -2270 -2590 -2610 -2750 -2810 -8870 -9670 2272 452 -9651 -9650 -712 2312 2292 9652 -2812 -3092 -3352 -9912 769 -9968 -489 3409 3649 1909 -2909 -649 9848 -1629 -2889 -3029 -3089 -8889 530 -9729 -1789 -3289 -3529 -4669 -9849 -650 -658 -657 -651 -9609 410 9109 -450 -730 -1870 3170 1670 -1790 -3030 -3290 -3530 -4670 -9850 -79 -3298 -9058 -9858 -3297 -9057 -9857 -1791 -2751 -3031 -3291 -9851 1650 709 -1590 -2290 -2310 -8850 -3370 -9130 -9930 -93 -9110 -9111 -718 -717 -720 -719 3349 3589 4909 1849 8890 -3358 -9118 -9918 -3357 -9117 -9917 -3360 -9120 -9920 -3359 -9119 -9919 187 34 490 -8891 -770 2890 -3650 2910 1630 -1910 -3410 -4910 -9970 9969 -9731 -531 -1671 -2911 -3171 -3591 9730 -9826 -626 -1766 -3266 -4266 -4546 -169 167 -740 -739 -3380 -9140 -9940 -3379 -9139 -9939 -425 -1565 -1985 -8825 -9625 1563 -437 -9923 9623 423 -623 -603 -1997 -8837 -9637 8823 724 1983 -723 8802 -1763 -3263 -4263 -4503 -9023 -9823 -622 4504 -1743 -3243 -9003 10397 -9125 -604 -738 1864 3364 624 9124 -1863 -3363 -9123 402 -684 -1762 -4442 -9022 -517 -597 10398 -1744 -3244 -4264 -9004 -3378 -9138 -9938 -9025 1764 3264 9024 -8803 1802 -1824 -3324 -4804 -9084 -164 -3237 -9717 -518 -520 -519 9716 -9797 -600 9796 -599 -598 10399 32 158 -3238 -9718 -3240 -9720 -3239 -9719 -9000 -9800 10400 -8999 -9799 -8998 -9798 -155 -4265 -605 -1745 -3245 -4325 -9005 9006 4326 9085 686 685 -9087 1826 3326 4846 -625 3325 1825 9925 -1765 -3265 -9825 9824 725 4805 -9924 3365 1865 182 -9909 710 3590 3350 3090 1850 96 -2591 -471 -2611 -2811 -8871 8872 -82 8851 451 -8852 -711 2311 2291 -1851 -3091 -3351 -9911 9910 9611 411 -9610 1631 1651 1591 21 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3379438-1305460523/watcher-3379438-1305460523 -o /tmp/evaluation-result-3379438-1305460523/solver-3379438-1305460523 -C 2400 -W 1300 -M 7680 umsat HOME/instance-3379438-1305460523.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.80 3.98 3.91 5/374 30812
/proc/meminfo: memFree=21377296/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=11776 CPUtime=0 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4194304 371 0 0 0 0 0 0 0 22 0 1 0 638467821 12058624 311 33554432000 4194304 4263832 140735968199696 18446744073709551615 228095450880 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 2944 311 241 17 0 117 0
[startup+0.0539971 s]
/proc/loadavg: 3.80 3.98 3.91 5/374 30812
/proc/meminfo: memFree=21377296/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=12104 CPUtime=0.04 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4194304 472 0 0 0 4 0 0 0 22 0 1 0 638467821 12394496 412 33554432000 4194304 4263832 140735968199696 18446744073709551615 47426220864400 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 3026 412 242 17 0 199 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12104
[startup+0.100982 s]
/proc/loadavg: 3.80 3.98 3.91 5/374 30812
/proc/meminfo: memFree=21377296/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=12692 CPUtime=0.09 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4194304 632 0 0 0 9 0 0 0 22 0 1 0 638467821 12996608 523 33554432000 4194304 4263832 140735968199696 18446744073709551615 228095109465 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 3173 523 242 17 0 346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12692
[startup+0.300954 s]
/proc/loadavg: 3.80 3.98 3.91 5/374 30812
/proc/meminfo: memFree=21377296/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=13616 CPUtime=0.29 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4194304 874 0 0 0 29 0 0 0 23 0 1 0 638467821 13942784 765 33554432000 4194304 4263832 140735968199696 18446744073709551615 228095111877 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 3404 765 242 17 0 577 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13616
[startup+0.700819 s]
/proc/loadavg: 3.80 3.98 3.91 5/374 30812
/proc/meminfo: memFree=21377296/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=22508 CPUtime=0.68 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4194304 3435 0 0 0 68 0 0 0 25 0 1 0 638467821 23048192 2651 33554432000 4194304 4263832 140735968199696 18446744073709551615 47426220829417 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 5627 2651 242 17 0 2800 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22508
[startup+1.50073 s]
/proc/loadavg: 3.80 3.98 3.91 5/381 30825
/proc/meminfo: memFree=21318216/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=29804 CPUtime=1.49 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4194304 5865 0 0 0 148 1 0 0 25 0 1 0 638467821 30519296 4312 33554432000 4194304 4263832 140735968199696 18446744073709551615 228095108929 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 7451 4312 242 17 0 4624 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29804
[startup+3.10041 s]
/proc/loadavg: 3.80 3.98 3.91 5/381 30825
/proc/meminfo: memFree=21282752/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=48356 CPUtime=3.09 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4194304 11402 0 0 0 307 2 0 0 25 0 1 0 638467821 49516544 8312 33554432000 4194304 4263832 140735968199696 18446744073709551615 47426220973264 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 12089 8312 242 17 0 9262 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48356
[startup+6.30083 s]
/proc/loadavg: 3.81 3.98 3.91 5/381 30825
/proc/meminfo: memFree=21114508/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=109248 CPUtime=6.29 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 30135 0 0 0 622 7 0 0 25 0 1 0 638467821 111869952 24224 33554432000 4194304 4263832 140735968199696 18446744073709551615 4207606 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 27312 24224 247 17 0 24485 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109248
[startup+12.7007 s]
/proc/loadavg: 3.83 3.98 3.91 5/381 30826
/proc/meminfo: memFree=20977312/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=110972 CPUtime=12.68 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 30552 0 0 0 1261 7 0 0 25 0 1 0 638467821 113635328 24641 33554432000 4194304 4263832 140735968199696 18446744073709551615 4224830 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 27743 24641 247 17 0 24916 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 110972
[startup+25.5003 s]
/proc/loadavg: 3.86 3.98 3.91 5/381 30826
/proc/meminfo: memFree=20436376/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=157800 CPUtime=25.48 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 42174 0 0 0 2539 9 0 0 25 0 1 0 638467821 161587200 36263 33554432000 4194304 4263832 140735968199696 18446744073709551615 4215062 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 39450 36263 247 17 0 36623 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 157800
[startup+51.1007 s]
/proc/loadavg: 3.91 3.98 3.91 5/381 30827
/proc/meminfo: memFree=20058896/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=213288 CPUtime=51.09 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 55869 0 0 0 5096 13 0 0 25 0 1 0 638467821 218406912 49958 33554432000 4194304 4263832 140735968199696 18446744073709551615 4215075 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 53322 49958 247 17 0 50495 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 213288
[startup+102.314 s]
/proc/loadavg: 4.20 4.04 3.93 5/381 30828
/proc/meminfo: memFree=19802796/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=307988 CPUtime=102.31 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 78844 0 0 0 10212 19 0 0 25 0 1 0 638467821 315379712 72933 33554432000 4194304 4263832 140735968199696 18446744073709551615 4224828 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 76997 72933 250 17 0 74170 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 307988
[startup+162.3 s]
/proc/loadavg: 4.18 4.06 3.94 5/381 30830
/proc/meminfo: memFree=19463752/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=364176 CPUtime=162.29 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 92702 0 0 0 16207 22 0 0 25 0 1 0 638467821 372916224 86788 33554432000 4194304 4263832 140735968199696 18446744073709551615 4215062 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 91044 86788 249 17 0 88217 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 364176
[startup+222.3 s]
/proc/loadavg: 4.22 4.09 3.96 5/381 30831
/proc/meminfo: memFree=19170584/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=410208 CPUtime=222.3 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 104009 0 0 0 22204 26 0 0 25 0 1 0 638467821 420052992 98091 33554432000 4194304 4263832 140735968199696 18446744073709551615 4224816 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 102552 98091 249 17 0 99725 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 410208
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 3.96 5/381 30833
/proc/meminfo: memFree=18875172/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=494780 CPUtime=282.3 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 124253 0 0 0 28199 31 0 0 25 0 1 0 638467821 506654720 118335 33554432000 4194304 4263832 140735968199696 18446744073709551615 4205836 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 123695 118336 249 17 0 120868 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 494780
[startup+342.3 s]
/proc/loadavg: 4.05 4.07 3.96 5/381 30843
/proc/meminfo: memFree=18564504/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=558316 CPUtime=342.3 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 139767 0 0 0 34196 34 0 0 25 0 1 0 638467821 571715584 133848 33554432000 4194304 4263832 140735968199696 18446744073709551615 4207633 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 139579 133848 250 17 0 136752 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 558316
[startup+402.3 s]
/proc/loadavg: 4.02 4.05 3.96 5/381 30845
/proc/meminfo: memFree=18255028/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=628580 CPUtime=402.3 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 157006 0 0 0 40191 39 0 0 25 0 1 0 638467821 643665920 151087 33554432000 4194304 4263832 140735968199696 18446744073709551615 4205586 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 157145 151087 250 17 0 154318 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 628580
Solver just ended. Dumping a history of the last processes samples
[startup+403.101 s]
/proc/loadavg: 4.01 4.05 3.96 5/381 30845
/proc/meminfo: memFree=18246224/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=630208 CPUtime=403.1 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 157421 0 0 0 40271 39 0 0 25 0 1 0 638467821 645332992 151502 33554432000 4194304 4263832 140735968199696 18446744073709551615 4210453 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 157552 151502 250 17 0 154725 0
Current children cumulated CPU time (s) 403.1
Current children cumulated vsize (KiB) 630208
[startup+406.301 s]
/proc/loadavg: 4.01 4.05 3.96 5/381 30845
/proc/meminfo: memFree=18222912/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=634608 CPUtime=406.3 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 158514 0 0 0 40591 39 0 0 25 0 1 0 638467821 649838592 152595 33554432000 4194304 4263832 140735968199696 18446744073709551615 4207606 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 158652 152595 250 17 0 155825 0
Current children cumulated CPU time (s) 406.3
Current children cumulated vsize (KiB) 634608
[startup+407.9 s]
/proc/loadavg: 4.01 4.05 3.96 5/381 30845
/proc/meminfo: memFree=18215348/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=638724 CPUtime=407.9 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 159516 0 0 0 40751 39 0 0 25 0 1 0 638467821 654053376 153597 33554432000 4194304 4263832 140735968199696 18446744073709551615 4215062 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 159681 153597 250 17 0 156854 0
Current children cumulated CPU time (s) 407.9
Current children cumulated vsize (KiB) 638724
[startup+408.701 s]
/proc/loadavg: 4.01 4.05 3.96 5/381 30845
/proc/meminfo: memFree=18210016/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=639956 CPUtime=408.7 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 159824 0 0 0 40831 39 0 0 25 0 1 0 638467821 655314944 153905 33554432000 4194304 4263832 140735968199696 18446744073709551615 4223024 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 159989 153905 250 17 0 157162 0
Current children cumulated CPU time (s) 408.7
Current children cumulated vsize (KiB) 639956
[startup+409.101 s]
/proc/loadavg: 4.01 4.05 3.96 5/381 30845
/proc/meminfo: memFree=18203940/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=639960 CPUtime=409.11 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 159849 0 0 0 40872 39 0 0 25 0 1 0 638467821 655319040 153930 33554432000 4194304 4263832 140735968199696 18446744073709551615 228095148642 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 159990 153930 256 17 0 157163 0
Current children cumulated CPU time (s) 409.11
Current children cumulated vsize (KiB) 639960
[startup+409.301 s]
/proc/loadavg: 4.01 4.05 3.96 5/381 30845
/proc/meminfo: memFree=18203940/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=639960 CPUtime=409.3 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 159849 0 0 0 40891 39 0 0 25 0 1 0 638467821 655319040 153930 33554432000 4194304 4263832 140735968199696 18446744073709551615 228095148666 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 159990 153930 256 17 0 157163 0
Current children cumulated CPU time (s) 409.3
Current children cumulated vsize (KiB) 639960
[startup+409.401 s]
/proc/loadavg: 4.01 4.05 3.96 5/381 30845
/proc/meminfo: memFree=18203940/32951124 swapFree=65980216/67111528
[pid=30812] ppid=30810 vsize=639960 CPUtime=409.4 cores=4,6
/proc/30812/stat : 30812 (umsat) R 30810 30812 30081 0 -1 4202496 159849 0 0 0 40901 39 0 0 25 0 1 0 638467821 655319040 153930 33554432000 4194304 4263832 140735968199696 18446744073709551615 228095148674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30812/statm: 159990 153930 256 17 0 157163 0
Current children cumulated CPU time (s) 409.4
Current children cumulated vsize (KiB) 639960
Child status: 0
Real time (s): 409.444
CPU time (s): 409.452
CPU user time (s): 409.028
CPU system time (s): 0.423935
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 639960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 409.028
system time used= 0.423935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159852
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 213
runsolver used 1.47178 second user time and 3.38448 second system time
The end
Begin job on node142 at 2011-05-15 13:55:24
IDJOB=3379438
IDBENCH=83475
IDSOLVER=1861
FILE ID=node142/3379438-1305460523
RUNJOBID= node142-1305460521-30702
PBS_JOBID= 13324890
Free space on /tmp= 73356 MiB
SOLVER NAME= UmSat 2011-05-12 (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= umsat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3379438-1305460523/watcher-3379438-1305460523 -o /tmp/evaluation-result-3379438-1305460523/solver-3379438-1305460523 -C 2400 -W 1300 -M 7680 umsat HOME/instance-3379438-1305460523.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=120548124
node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5131.95
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.81
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 21377576 kB
Buffers: 334700 kB
Cached: 4995268 kB
SwapCached: 11520 kB
Active: 7950364 kB
Inactive: 3280660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 21377576 kB
SwapTotal: 67111528 kB
SwapFree: 65980216 kB
Dirty: 199256 kB
Writeback: 0 kB
AnonPages: 5898188 kB
Mapped: 21576 kB
Slab: 239904 kB
PageTables: 35880 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 78734028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73308 MiB
End job on node142 at 2011-05-15 14:02:13