0.00/0.00 c *** MUSer: a MUS extractor ***
0.00/0.00 c *** release date: 2011210 ***
0.00/0.00 c *** release ref: f95464aa99ac ***
0.00/0.00 c *** built: 2011-Feb-10 00:59 ***
0.00/0.00 c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.00 c
0.00/0.00 c *** instance: HOME/instance-3493811-1307803063.cnf ***
0.00/0.00 c
0.00/0.01 c Parsing CPU Time: 0.009998
0.00/0.01 c Running MUSer ...
2.89/2.94 c 0.00% completed ...
11.79/11.83 c 5.01% completed ...
26.89/26.96 c 26.43% completed ...
41.59/41.63 c 44.26% completed ...
61.20/61.28 c 60.76% completed ...
72.20/72.29 c 65.77% completed ...
82.60/82.68 c 70.86% completed ...
112.89/112.97 c 86.07% completed ...
136.00/136.09 c 100.00% completed ...
136.00/136.09 c MUS size: 7249
136.00/136.09 s UNSATISFIABLE
136.00/136.09 v 8626 4217 8498 4089 8434 4025 3961 8306 8242 3833 329 8050 7986 265 3641 7858 7602 7538 6329 6265 7410 6201 7346 12403 7090 7026 3001 6898 2937 6834 2873 6770 6642 2617 6578 2553 6514 6450 2425 2361 2105 2041 1913 1721 1657 1529 1401 1337 1273 1209 1145 1081 1017 889 208 162 98 730 666 602 538 474 12275 12211 12147 12019 11891 11827 11699 11635 11571 11507 11443 11379 11315 11251 11187 11123 11059 10995 10931 10803 10739 10611 10483 806 5754 10099 10035 5626 9971 5498 5434 5370 9715 5306 9523 5114 6130 6066 4986 6002 4922 5938 9267 4858 5874 9203 9075 4666 4538 8819 8755 4410 1568 8691 8627 8563 4218 8499 4154 4090 8371 8243 8179 3834 8115 8051 266 3578 7923 3514 7795 3386 7731 3322 3258 7539 6330 7475 7411 6202 7283 7219 7155 12404 7091 12340 3002 6899 2938 6707 2746 6643 2682 6579 2554 6451 2490 2362 2298 2234 2170 2106 2042 1978 1914 1786 1658 1530 1466 1402 1210 1146 954 890 163 99 35 731 603 539 12276 12212 12148 12084 12020 11956 11892 11828 11764 11700 11636 11572 11508 11444 11380 11316 11252 11060 10996 10804 10676 10548 10484 10420 10292 10228 5819 10164 5755 10100 5691 10036 9972 9908 9844 5499 9780 9716 5371 9652 9588 5243 5179 6131 9460 5115 6067 5051 4987 6003 5939 9268 4923 9204 4859 9140 4731 9076 4667 8948 4539 8884 4475 8820 1569 8628 8564 4219 8500 4091 8436 4027 8308 3899 8180 8116 331 267 7924 3515 7860 3451 7732 3387 3323 7668 7604 7540 6331 6267 7412 7348 7284 7156 7028 3067 6964 3003 6900 2939 6836 6772 6708 2683 6516 2555 6452 2427 2363 2299 2107 1915 1787 1659 1467 1339 1275 1211 1019 891 100 392 3170 732 668 12277 412 12213 12149 12085 11829 11765 11637 11509 11381 11253 11189 11125 11061 10805 10677 10613 10549 10357 808 10101 5692 9973 9909 9845 9781 9717 5372 9653 5308 9589 9525 6132 6068 9397 6004 9333 5940 4860 5876 9205 9141 4732 9013 4604 8885 4540 8821 4476 8757 1570 8693 8565 4156 4092 8373 8309 3964 8245 3900 8181 8053 268 3644 7925 7861 3516 7733 3324 7669 7605 7541 6332 7477 6268 7413 6204 7349 7285 7221 12406 7093 12342 7029 3004 6965 6837 2876 6773 2748 6709 6645 2556 2364 2236 2172 1916 1852 1788 1724 1660 1468 1340 1276 1212 1084 892 211 37 3171 3107 541 413 12150 11894 11830 11574 11510 11190 11062 10806 10614 10550 10422 10294 809 5757 10038 5693 9974 5629 5565 5501 9782 5437 9718 5373 5309 9590 6133 9462 5053 9398 6069 6005 4989 9270 5941 4861 5877 9078 9014 4669 8950 4605 8822 8758 8694 1571 4285 4221 8566 4157 4093 3901 8182 3837 8118 3773 333 8054 3709 3645 269 3581 7862 3517 3453 7734 3325 7670 7606 6397 3261 7542 7478 7414 7350 7286 7222 7158 12407 7094 12343 3005 6966 2941 6838 2813 6774 2749 6710 2685 2621 6582 6518 2493 6454 2365 2237 2173 2045 1981 1917 1853 1661 1533 1405 1341 1213 1149 1021 957 166 394 414 12087 11959 11703 11639 11575 11511 11447 11383 11191 11127 11063 10999 10871 10807 10679 10423 10359 10295 810 5822 10167 5694 9975 5630 5566 9847 5438 9783 9719 5374 9655 5310 9591 5182 9463 5118 6134 5054 9335 4990 4926 5942 5878 9143 4798 4734 4670 8951 8887 4542 4478 4414 1572 8695 4350 4286 8631 8567 4158 8503 4094 8439 4030 8311 3902 8183 334 8055 7991 270 3646 7927 7863 3454 3262 7607 7479 7351 7287 6903 2878 6839 2814 6775 2750 2686 6583 2558 2494 6455 2430 2174 1982 1790 1726 1534 1470 1214 1150 39 395 735 607 543 479 12280 415 12216 12088 11960 11832 11768 11704 11512 11384 11192 10936 10872 10808 10744 10616 10360 10296 5823 10104 5759 10040 5631 9912 9848 5503 5439 5375 9720 5311 5247 9528 9464 5119 6135 9400 5055 6071 4991 9336 6007 9272 4927 9208 8888 4543 4479 1573 8696 8632 8568 4159 8504 8376 8312 3903 3839 8056 3647 3519 7864 3391 3327 7672 6399 6335 7544 7480 7416 7224 7160 12345 2943 6840 2815 6776 2751 6712 2623 6520 6456 2431 2367 2239 2175 1919 1855 1791 1663 1407 1343 1215 1151 1087 959 168 104 40 3110 736 672 608 544 480 416 12217 12153 12025 11833 11769 11641 11577 11513 11449 11385 11193 11129 11065 11001 10873 10809 10681 10617 10553 10489 10233 812 10105 5632 9913 5568 5504 9785 9721 9657 9593 9529 5120 6136 6072 4992 6008 9337 5880 9209 4800 9145 4736 9081 4672 9017 4608 4416 8761 1574 8697 4288 8633 4224 8505 4096 8441 4032 8313 3840 8121 3712 8057 272 3648 3584 7929 7865 3392 3264 7609 7545 7481 6208 7417 7289 7225 12346 2944 6905 2816 6713 2688 2624 6585 2560 2496 6457 2432 2368 2240 2176 2112 2048 1728 1664 1536 1472 1344 1280 1152 1024 960 896 215 169 105 41 3111 673 545 481 12282 417 12218 12154 12026 11962 11898 11834 11770 11706 11642 11578 11514 11386 11322 11258 11194 11130 11066 11002 10938 10874 10810 10746 10682 10618 10554 10490 10426 5825 813 10170 10106 5633 5505 9786 5377 9722 5249 9530 6137 5121 9466 5057 6073 9402 6009 9338 4929 5945 9274 4865 5881 4801 9146 4737 9082 9018 8954 8890 8826 4417 4161 4097 4033 8378 3969 8250 3841 337 3713 8058 3521 7866 3457 3329 7674 6401 7482 6209 7354 7290 7226 12347 3073 7034 3009 6970 2945 6906 2881 2817 6778 2753 6714 2689 2625 6586 2561 6522 2497 2433 2369 2305 2241 2113 1921 1793 1665 1537 1153 170 106 42 3112 610 482 418 12219 12155 12091 12027 11963 11899 11835 11451 11387 11323 11259 11195 11067 11003 10939 10875 10747 10683 10491 10427 10363 10235 5826 10171 10107 5698 10043 9979 9915 9851 5442 5314 9659 5250 9595 5186 9531 6138 5058 4994 6010 9339 4930 5946 9275 4866 5882 4802 9147 4738 9083 4674 4610 8763 8699 4290 8635 8507 4098 8443 8379 3970 8315 3906 8251 3842 8187 8123 7931 3522 3458 3394 3330 6274 7483 6210 7419 7355 7227 12412 7163 7099 3074 7035 2946 2882 6843 2754 6715 2690 6587 2562 6523 2434 2370 2306 2242 1858 1730 1666 1538 1474 1346 1282 1218 1154 1090 898 171 107 43 3177 3113 739 675 547 483 419 12156 12028 11964 11900 11580 11324 11196 11132 11004 10620 10556 10428 10364 10300 10236 815 5827 10108 10044 5635 5571 9916 5507 9788 5379 9724 9660 5251 9596 5187 9532 6139 5059 6075 4995 9340 9276 5883 9148 9084 9020 4483 8828 4419 1577 4355 4291 8636 4227 8508 4099 8444 4035 3971 3907 8252 3843 8188 3779 8124 3715 8060 3651 275 3587 7932 3523 7868 3395 7676 7612 6339 7548 6275 7484 6211 7420 7292 7164 12349 3075 7036 3011 6972 2947 6908 2883 6844 2819 6780 2755 2691 2627 2563 2499 6460 2371 2307 2243 2051 1987 1923 1859 1731 1667 1539 1475 1411 1347 1283 1219 1155 1091 1027 899 218 172 108 3114 740 612 548 484 12285 12029 11837 11709 11581 11517 11261 11133 11005 10941 10749 10685 10493 10365 5764 10109 5700 10045 5636 9981 9917 5508 9853 5444 9725 9661 5252 9597 5124 5060 9405 6012 4996 4932 5948 4868 5884 9213 4804 9149 4740 4676 9021 4612 8957 8893 1578 4356 8637 4100 8445 4036 3972 8317 8253 3844 8125 3716 8061 3652 7997 7933 7805 7741 3332 7677 6404 7613 6340 7549 7485 7357 7293 12414 7165 7101 6909 2884 6845 2692 6653 6589 6525 2500 6461 2372 2308 2116 2052 1988 1924 1732 1668 1412 1348 1284 1092 3179 741 485 421 12286 12158 12094 12030 11774 11710 11582 11262 11198 11070 10750 10494 10238 817 5829 10174 10046 9982 9918 5445 9726 9662 9598 5189 5125 9470 9406 4997 6013 5949 4933 5885 4805 9150 4741 9086 4677 9022 4613 8958 4549 8894 4485 1579 8702 8574 4165 8446 8382 3973 8318 3909 8254 3845 3781 341 3653 3589 3525 7870 3461 3397 7742 3333 7678 3269 7614 6341 7550 6277 7422 7358 7294 7230 12415 7166 12351 7102 3013 2949 6910 6782 6654 2629 2565 6526 2501 6462 2437 2373 2309 2245 2117 1989 1861 1797 1733 1669 1541 1477 1413 1349 1221 901 174 3180 3116 742 614 550 422 12223 12159 12031 11839 11775 11519 11327 11263 11199 10943 10879 10815 10751 10623 10559 10495 10431 10367 10239 818 5830 10175 5702 9919 5510 9855 5446 9791 9727 9599 5190 5126 6142 9471 5062 6078 9407 4998 5950 9279 9215 9087 4678 9023 4614 8959 8895 4486 4422 8767 1580 4294 4230 8575 4166 4038 8383 3974 8319 3910 3846 3782 342 278 7999 3590 7871 3462 7807 3398 3334 6406 7615 7551 7487 6214 7231 7167 3078 7039 3014 6975 2886 6847 6655 6591 6527 2502 6463 2374 2310 2246 2182 1990 1862 1798 1542 1478 1414 1350 966 902 47 403 3181 743 12288 12160 11968 11840 11776 11712 11520 11392 11200 11072 11008 10944 10816 10560 10368 10304 10240 819 10176 10112 5703 10048 5639 9984 5511 5447 9792 5383 5319 9664 5255 5191 6143 5127 9472 6079 5063 9408 9344 5951 4935 4871 9216 9152 4679 9024 4615 8896 4487 8832 4423 8768 4359 8704 4295 8640 4231 8576 4167 8448 4039 8384 3975 8320 3911 8192 8128 343 279 8000 3591 7872 3463 7808 3399 3335 6407 7616 6343 6279 7488 6215 7424 7296 7232 12417 7104 3079 6976 2951 6848 6720 6656 2631 6592 6528 2503 6464 2311 2183 2119 1991 1927 1735 1671 1543 1479 1415 1351 1287 1223 1095 1031 967 112 48 3182 3118 744 680 616 488 12289 12097 11969 11841 11777 11713 11585 11521 11457 11265 10817 10753 10689 10625 10561 10433 10369 10305 820 10177 10113 5704 10049 5576 9857 5384 9729 5320 5256 9601 5192 9537 6144 5064 6080 9409 6016 9345 4936 5888 9153 4680 4616 8897 4424 8769 1582 4296 8641 4232 8577 4168 4104 4040 8385 8321 3912 8257 3784 3720 8065 3656 8001 7937 3528 7873 3464 7809 3400 7681 6408 3272 7617 6344 7553 6280 7489 6216 7425 7297 7169 12354 3080 7041 2952 6913 2888 6849 6785 6721 2632 6593 6529 2504 6465 2440 2376 2312 2248 2184 2120 1992 1864 1800 1544 1416 1160 1096 1032 968 49 405 681 553 12226 12098 11714 11650 11522 11266 11202 10946 10882 10690 10626 10498 10434 10370 10306 5833 10178 5769 10114 5705 5641 9922 5513 5449 9794 9730 9602 5065 6081 9410 5001 5953 9282 9218 4809 9090 4681 9026 4617 8962 8898 4489 8834 4425 1583 8706 4233 8578 4169 8514 4041 3977 8322 8258 3849 8194 3785 3721 281 8002 7938 3529 3465 3401 3337 7682 6409 6281 7490 7426 6153 7362 7234 7170 12291 6978 2953 6914 2889 2825 6786 2697 6658 2633 6594 2569 6530 2505 2377 2185 2121 2057 1865 1737 3209 1417 1353 1289 1225 1161 1097 1033 969 905 1609 178 3184 618 554 490 426 12227 12163 12099 11971 11907 11843 11779 11715 11651 11459 11203 11011 10883 10819 10563 10499 10371 10307 10243 822 10179 10115 5578 5514 9859 5386 9731 5322 9667 5258 5194 9539 6146 9475 5066 6082 5002 5954 4874 5890 9155 4746 4682 9027 8963 8835 4426 4362 8707 4298 8643 4234 8579 8515 4106 4042 8323 8259 8195 3786 8131 346 3722 8067 282 8003 3530 7875 3466 7811 7619 6346 3210 7555 7491 6218 7427 6154 7363 7235 7171 12356 7107 3018 6979 2954 6851 2826 6787 2698 6659 2634 2570 6531 2506 6467 2378 2250 2186 1994 1866 1738 1674 1610 1354 1290 1226 1034 179 51 3185 3121 683 619 491 12100 12036 11972 11908 11780 11716 11588 11524 11460 11332 11268 11076 10692 10564 10308 10244 823 10116 10052 5643 9924 5515 9860 5451 9796 9732 5323 9604 5195 6147 9476 5067 6083 9412 5003 5955 9284 4875 9092 9028 8964 4555 4427 8772 1585 4363 8708 4235 4171 8516 4107 8452 8388 3979 3915 3851 8196 3787 8132 347 3723 8068 283 3659 219 7940 7876 7812 3403 7748 7684 3275 7620 6347 6283 6155 7236 7172 7108 3019 6980 2891 6852 6788 2763 2699 6660 2635 6596 2571 6468 2443 2379 2315 2187 2123 2059 1803 1739 1675 1611 1227 1099 971 907 180 52 3186 748 556 428 12101 11845 11781 11717 11461 11397 11333 11141 11077 10949 10885 10821 10757 10693 10629 10565 10501 10373 10309 10245 824 10181 10053 9989 9925 5516 9861 5452 5388 9733 9669 9477 5068 5004 9349 5956 4940 5892 9221 9157 4748 9029 4620 8965 4556 8901 4492 8837 4428 8773 8709 4300 8645 8581 4172 8517 4108 4044 8325 8261 3852 8197 3788 348 284 3660 220 7941 7877 7813 3404 3340 7685 3276 6348 3212 7557 6284 7493 6220 6156 7365 7237 7173 12294 2956 6917 2892 2828 6789 2764 6661 2636 2508 2380 2316 2252 1996 1932 1868 1804 1612 1484 1420 1292 1228 1100 972 117 53 3187 3123 621 557 12230 12166 12102 11974 11846 11782 11526 11206 11078 11014 10886 10694 10630 10566 10438 10310 10246 5773 10054 5645 9990 5581 9926 9862 5389 9734 5325 9670 5261 9606 9542 5133 9478 5069 6085 6021 9350 4941 5893 9222 4813 9158 4749 9094 4685 4557 4493 8838 8774 1587 4237 4173 4109 8454 8262 3853 8070 3661 8006 221 3597 3533 3469 3405 3341 7622 3213 6285 7494 6157 7238 12423 12359 7046 6982 2957 2829 6790 2765 6726 2637 2509 6470 2317 2253 2125 1997 1741 1677 1485 1357 1165 973 182 118 54 750 622 430 12167 12039 11911 11847 11655 11463 11399 11271 11207 11143 10951 10887 10567 10503 10375 10311 10247 5838 5774 5710 5582 9927 5518 9863 5454 9799 5390 5326 9607 5198 6150 9479 6086 9415 5006 4942 5958 9287 5894 9159 4750 9095 4686 9031 8775 1588 8711 8647 8583 4174 8519 4046 3982 8327 8263 3854 8199 8135 350 3726 286 222 7943 3470 3406 7751 3342 7687 7623 6350 7559 6286 6222 7431 6158 7239 7175 12360 7111 12296 3022 2958 2894 6855 2830 2766 2702 6663 6599 2510 6471 2446 2318 2254 2190 2062 1998 1934 1870 1806 1678 1614 1486 1422 1358 1294 1230 1166 1038 974 910 183 119 3189 431 12232 12104 11976 11912 11848 11784 11656 11592 11400 11336 11272 11144 11080 10952 10888 10824 10696 10632 10504 10440 10376 10312 10184 10056 9992 9928 5519 9864 5455 9800 5327 9672 5263 9608 9544 5135 6151 9480 5071 9416 5007 9352 5959 5895 4815 4751 9096 4687 8968 4559 8904 8840 4431 1589 8712 4303 8648 8584 4175 8456 8328 3919 3855 8200 3791 351 8072 3663 3599 7944 7880 3471 7816 3343 7688 3215 7560 6287 7432 7368 12425 7176 12361 7112 7048 3023 6984 2959 6920 2895 6792 6728 6600 2511 6472 2447 2383 2319 2255 2191 1999 1935 1807 1743 1615 1487 1359 1231 911 184 56 3190 752 624 560 496 432 12233 12169 12041 11977 11785 11721 11657 11593 11273 11081 11017 10953 10889 10825 10697 10633 10569 10441 10313 5840 10185 5776 10057 5584 9929 5520 5456 9737 5328 9673 5264 5200 6152 5136 5072 9417 6024 5008 9353 4944 4880 5896 9225 9097 9033 4624 8969 4560 8905 4368 8649 4240 8585 4176 4112 8457 3984 8329 3920 3856 8201 8137 352 3728 288 3664 8009 224 7881 3472 3408 7689 7625 3216 6352 6288 7497 6224 7433 7305 12426 7177 12362 7113 3024 2896 6857 6793 2768 6729 2640 6601 2576 6537 6473 2384 2320 2256 2192 2128 2064 1808 1680 1488 1296 1232 1168 912 185 121 3191 3127 753 625 561 497 12170 11978 11594 11466 11402 11338 11274 11146 10954 10826 10570 10442 829 10122 10058 9994 9930 5521 9866 9738 5329 9674 5265 9610 5201 9546 5137 9482 5073 6089 5009 9354 4945 5961 9290 4881 5897 4817 9162 9098 4689 9034 4625 8970 4561 4497 4433 1591 8714 4305 4241 4177 4049 3793 8138 353 8074 3665 8010 225 7946 7882 3473 3409 7754 3345 7690 7626 6353 6289 6225 7370 7306 7242 7178 12363 12299 7050 3025 6986 2961 6922 2897 6858 2833 2769 6730 6666 2577 6538 2513 2449 2385 2321 2257 2001 1937 1873 1809 1745 1489 1425 1297 1233 1169 977 913 122 3128 754 690 562 498 12235 12171 12107 12043 11979 11915 11851 11787 11403 11275 11211 11147 11083 10955 10763 10635 10571 10507 10443 10379 10315 10251 830 10187 5778 10123 5714 10059 5522 5458 9803 5394 9739 5266 9611 5202 5010 4946 5962 4882 5898 4818 9099 4690 9035 4626 8971 8907 4434 8779 1592 4306 8651 4242 8587 4178 8523 8395 3986 3922 8267 3794 3730 290 3666 8011 226 3538 7883 3474 7755 3346 7691 3282 6354 6290 7499 6226 7435 6162 7371 7307 7243 7179 7115 12300 2962 6923 2898 6859 2834 6795 6731 2706 2642 2578 2514 6475 2450 6411 2386 2322 2258 2130 2066 1938 1874 1810 1682 1618 1426 1170 1042 978 914 123 627 563 499 435 12044 11980 11916 11788 11724 11660 11532 11276 11212 11148 10892 10764 10700 10572 10508 10444 10316 10252 831 10188 5715 10060 5651 9996 5587 9932 5523 9868 5395 9740 5267 9612 9484 5075 5011 9356 5963 9292 4883 5899 9228 9164 4691 4563 8908 1593 4371 8652 4179 8524 4051 3987 8332 3923 3859 3795 355 8076 3667 8012 7948 3475 7820 3411 3347 7692 7628 6355 6291 6227 7436 7372 7308 7244 12365 12301 3027 6924 6860 2835 6796 6732 6604 6540 6412 2387 2131 1811 1683 1619 1363 1299 1235 1043 188 3194 3130 692 628 5841 12237 12173 12045 11981 11917 11853 11789 11661 11533 11469 11405 11341 11277 11213 11149 11021 10829 10701 10445 10381 10317 10253 10189 5780 10125 5652 9997 5588 5524 9869 9805 5396 5332 5268 9613 9549 5140 9485 5076 6092 9421 6028 9357 5964 9229 4628 8909 4500 8845 4436 8781 1594 4372 8653 4244 4180 8461 4052 3988 3924 8269 3860 3796 8141 3732 8077 3668 3604 7949 7885 3476 3412 3348 7693 7629 6228 7437 7373 7309 12430 12302 7053 6925 2900 2836 6797 2708 2644 6605 2580 6541 2516 6477 6413 2324 2260 2068 2004 1748 1492 1364 1236 1108 1044 980 916 189 125 61 757 501 12238 12110 12046 11982 11918 11662 11598 11534 11470 11406 11342 11214 10894 10766 10702 10638 10574 10318 833 5781 10126 10062 5653 5589 9934 5525 9806 5397 9742 5269 5141 9486 9422 4949 5965 5901 9230 9166 9038 4629 8974 8910 4501 8846 4437 1595 8718 4309 4245 8526 4117 8462 8398 3989 8334 8270 3733 8078 3669 8014 229 3605 3541 7886 3477 7822 7758 7694 3285 7630 6357 7566 6293 7502 6229 6165 7374 7310 12431 7182 12303 7054 3029 6926 2901 6862 6798 2709 2645 6542 2453 6414 2325 2197 2005 1941 1877 1749 1621 1301 1237 1109 1045 981 917 190 62 3196 3132 630 502 438 12239 12175 12111 12047 11983 11855 11727 11471 11407 11279 11151 11087 10703 10511 10447 10383 5782 5654 9999 5590 9935 5462 9807 5398 5206 9551 9487 6094 5078 5014 5966 9295 4886 5902 9167 4758 4630 8911 4502 4438 4374 8655 4246 8527 4118 8399 3926 8207 8143 8079 358 3670 8015 230 3606 3478 7759 3350 3286 7631 3222 7503 6294 6230 7375 12368 12304 7055 6991 2902 2774 6735 6671 6607 6543 2454 6415 2390 2326 2262 2198 2134 2006 1942 1878 1814 1686 1430 1366 1238 1174 1110 1046 982 918 191 759 695 631 503 439 12176 12048 11856 11600 11536 11472 11408 11344 11280 11152 11088 10768 10576 10512 10320 10192 835 5783 5719 5655 10000 5591 5527 9872 9744 9680 5271 5207 9552 9488 5079 5015 6031 4951 9296 9232 4823 4631 8976 8912 8848 8784 8656 4247 8592 4183 8400 3927 8208 3799 3735 359 8016 295 231 3607 7824 7760 3351 7696 7504 6295 7440 7312 7248 7120 6992 2967 6800 6736 6672 6480 2455 2391 2327 2199 2007 1815 1623 1495 1303 1239 1175 983 192 128 64 3134 696 440 12241 12113 12049 11985 11921 11857 11793 11665 11601 11537 11473 11281 11153 11089 10641 10513 10385 10321 10193 10129 5720 10065 10001 5592 9937 9873 5464 9809 5400 9745 5336 9553 9489 5080 6096 9425 5016 9361 5968 4760 4696 9041 4632 8913 4504 8849 1598 4376 4312 8657 8593 4184 8529 4120 8465 4056 8401 3992 8337 8273 3864 8209 3800 8145 360 3736 8081 3672 8017 296 7889 3416 7761 3352 7697 3288 3224 6360 6296 6232 7313 7249 7185 12434 7121 12306 3032 6993 2968 2904 6865 2840 6737 2712 6673 2648 2584 6417 2456 2392 2328 2200 2136 1816 1752 1624 1432 1304 1240 1176 1112 1048 920 65 1 761 697 505 441 12050 11986 11922 11858 11730 11666 11538 11474 11282 11154 11026 10962 10898 10834 10706 10642 10578 10450 10386 10322 10258 837 5785 10130 5721 5657 10002 5529 9874 5401 5337 9682 9554 5145 9490 5081 6097 9426 5017 6033 9362 4953 5969 9234 4825 9170 4761 9106 4697 9042 4505 4441 4313 4249 8594 4185 8530 4121 4057 8402 3801 3737 8018 7954 3609 7826 7762 3417 7698 3289 7634 6361 7506 6297 7442 7378 7314 7250 12435 7122 12307 6994 6930 2969 2841 2777 2713 2649 6610 6546 2521 2393 2329 2137 2073 1945 1881 1817 1753 1689 1625 1177 1113 1049 985 921 762 570 442 12179 12051 11923 11731 11667 11539 11475 11347 11283 11219 11155 11027 10963 10771 10707 10643 10579 10515 10451 10387 10323 10131 5722 5594 9939 9811 5402 9683 5274 9619 5210 5146 9491 5082 6098 6034 9363 4954 9299 4890 9235 4826 9107 4698 8979 4634 4570 8915 8851 4442 8787 8723 4378 4314 8659 8595 4250 8531 8467 4122 8403 4058 3994 8275 3930 8211 3866 8147 3802 8083 362 3738 3674 7955 234 3546 7891 7827 3482 7763 3418 7699 7635 3290 3226 7507 6298 7443 7315 7251 7187 12436 12308 3034 6931 6867 6803 6739 2778 6675 2650 6547 2586 6483 2522 2458 6419 2330 2266 1946 1818 1754 1626 1498 1434 1370 1306 1114 922 67 3 3137 763 699 635 571 443 12180 12116 11988 11796 11732 11668 11412 11348 11092 11028 10580 10452 10324 10196 839 5787 10132 5723 5531 5403 5339 5275 9620 9492 6099 9428 6035 9364 5019 5971 4955 5843 9108 9044 4699 4571 4507 4443 8788 8724 1601 4379 8596 8532 8404 4059 8212 3867 363 8084 299 7956 235 3611 7892 3547 3483 3419 7700 3355 7636 3291 6363 7508 6235 7380 6171 7252 7124 7060 6996 3035 6868 6804 2843 2715 6676 6612 2651 6548 6484 2523 2459 6420 2139 2011 1947 1883 1755 1371 1307 1051 923 68 4 3202 3138 700 636 572 508 444 12245 12181 12053 11989 11925 11733 11605 11477 11413 11349 11285 11221 10837 10773 10709 10645 10517 10453 10389 10325 10261 840 10197 5788 10069 10005 9941 9877 9813 5468 5404 9685 9621 6036 9365 5972 9301 4956 9173 9109 4764 8981 4572 8917 4508 8853 4444 1602 4380 4316 8597 8533 4188 4124 8469 8277 3868 8149 8085 300 3676 8021 7957 236 7893 3548 3484 7701 3356 7637 3292 7573 3228 7509 6300 7445 6236 7381 6172 7317 7253 12438 7125 12374 7061 6933 6869 6805 6741 2780 2716 6677 6613 2652 2524 6421 2460 2396 2332 2268 1948 1756 1628 1500 1436 1372 1308 1180 1116 1052 988 924 773 69 3203 3139 765 701 637 509 12182 12118 12054 11926 11862 11798 11734 11606 11414 11350 11286 11158 11094 11030 10966 10902 10838 10710 10646 10518 10390 10326 841 10198 5789 10006 5661 9878 9814 5469 9750 9686 5341 5277 9622 9558 5213 9494 5149 9430 6101 5021 9366 5973 9238 4893 5909 5845 4765 9110 4701 8982 4637 8918 8854 4509 8790 4381 4317 4253 4189 8470 8406 8342 3997 3933 3869 8150 3805 365 8086 8022 7958 3613 7894 3421 7766 3357 3293 7574 6365 7510 7446 6237 7382 6173 7254 7190 7126 7062 12311 3037 2973 2845 6742 2653 6614 2589 6486 2461 6422 2333 2013 1949 1885 1757 1501 1373 1309 1181 1117 1053 989 925 774 134 70 6 766 510 446 12247 11991 11927 11607 11543 11479 11351 11287 11159 11031 10967 10839 10775 10647 10519 10391 10327 10135 10071 5726 10007 5662 5598 5534 9815 5470 9751 5406 5342 5278 9559 5150 5086 6102 5022 9367 6038 9239 4894 5910 4830 9175 5846 4702 4638 4510 4446 4382 1604 8727 4318 8663 4254 8535 4190 4126 8471 8407 4062 8343 3998 8279 3870 8151 8087 366 3742 302 3678 238 3614 3550 7895 3486 7831 3358 6366 7511 6174 7383 7255 12440 7191 7127 7063 3038 6999 2974 6935 6807 2782 6743 2718 6679 2654 6615 2590 6551 2462 6423 2334 2142 1758 1630 1502 1374 1118 926 3205 3141 703 639 575 511 447 12120 12056 11992 11928 11864 11736 11608 11544 11352 11288 11160 11096 11032 10840 10776 10712 10520 10456 10392 10328 10264 843 5791 10136 5727 5663 9944 5599 5535 9816 5407 9688 5343 9624 5279 9560 5215 9496 5151 5087 5023 6039 4959 9240 4895 9176 5847 9112 4767 9048 4703 8984 4639 4575 4511 8792 8728 4319 8664 4255 8600 8536 4127 8472 4063 8408 3999 8344 3935 3871 8216 367 3679 3615 3551 7896 3423 7768 7704 3295 7640 6303 6239 6175 7384 7320 12441 7192 7064 2911 6872 2783 2719 6680 2655 2591 6552 2335 2207 2143 2079 2015 1951 1823 1759 1631 1503 1375 1247 1183 991 927 8 3142 768 704 512 448 12249 12057 11993 11865 11673 11545 11417 11353 11289 11033 10969 10905 10713 10521 10457 10393 10265 844 10137 5792 10073 5728 5664 9945 5600 5536 5472 5344 5280 9625 5216 6104 9433 5024 5976 9305 4896 9241 4832 5848 9177 4768 9113 4704 4640 4576 8921 4448 8793 4384 8729 4320 8665 4256 4192 8537 4128 4064 8409 4000 8281 8153 368 304 8025 3616 7961 7897 3488 7641 6368 3232 6304 6176 7385 7257 7193 12378 7129 7065 7001 6937 6873 2848 6745 2720 6681 6617 2592 6553 6489 2208 2144 2016 1824 1696 1504 1440 1376 1312 1248 1120 1056 992 928 777 137 9 769 705 641 513 449 12250 12186 12122 12058 11674 11546 11418 11226 11162 11034 10906 10842 10778 10714 10586 10458 10394 10330 845 10138 9946 5537 9882 5473 9818 5409 9754 5345 5281 9626 5217 9562 5153 9498 6105 9434 5025 6041 9370 4961 5977 4897 9242 4833 5849 9178 4769 9114 4705 9050 4641 8986 4577 8922 4513 8794 4321 4257 4193 8538 8474 4065 8346 8282 8218 3809 8154 369 8090 305 3681 8026 241 3617 3553 7898 7834 3297 7642 6369 3233 7578 6305 7514 7450 7386 7322 12379 7130 12315 3041 2913 6874 2785 6746 6618 2593 6554 2465 2401 2337 2273 2209 2017 1953 1889 1825 1761 1697 1505 1441 1377 993 929 138 74 3144 770 706 578 450 12251 12123 12059 11995 11931 11803 11739 11611 11547 11483 11419 11355 11163 11099 11035 10907 10843 10779 10523 10395 846 5794 5730 5666 5602 9819 5410 9755 5346 9691 5154 9499 9435 6042 9371 5978 9307 5914 4834 4770 9115 4642 8987 4578 8923 4450 8795 1608 8731 4322 8603 4194 8539 4130 8475 4066 4002 3938 3874 370 3746 306 3682 8027 242 7963 3554 3490 3426 7771 3362 3298 7643 6370 6306 7515 7451 7323 7259 12444 12380 12316 7067 3042 7003 2978 6939 2914 2850 2722 2658 6619 2594 2530 6491 2402 2274 2146 1826 1762 1698 1634 1442 1378 1314 1186 1122 1058 930 779 139 75 11 3145 3081 707 643 515 11932 11804 11740 11676 11612 11548 11100 10972 10908 10844 10652 10588 10460 10396 10332 10268 5795 10140 10076 5603 9884 5475 5411 9692 5219 5155 5091 6107 6043 9372 5979 9308 5915 9244 5851 9180 4771 4643 8988 4579 8924 8860 4451 8796 4387 8732 1545 4323 8668 8604 4195 4131 4067 8412 3939 8284 3875 8220 3811 8156 371 8092 307 8028 3619 243 3555 3427 7772 3299 7580 6307 7516 7452 12445 7132 3043 7004 2979 2915 6812 2723 6620 6492 2403 2339 2083 2019 1891 1827 1699 1635 1507 1443 1379 1315 1251 1187 1123 1059 995 867 3082 708 644 580 452 12253 12189 12125 12061 11997 11933 11869 11613 11549 11485 11357 11229 11165 11101 10845 10717 10589 10333 848 10141 5668 5604 5540 9885 9821 5412 9757 5348 9693 9501 5028 6044 9373 4964 5980 5916 9245 4772 9117 4708 9053 8989 4580 8925 4516 8861 4452 8797 4388 8733 1546 8669 8605 8541 4132 8477 4068 4004 8349 3940 8221 8157 3748 308 8029 244 3620 3556 3492 7837 3428 7773 7709 7645 6308 7517 6244 6180 7389 7261 12382 7133 12318 7069 6941 2916 6813 2724 6685 2660 6621 2596 6493 2468 2404 2340 2276 2148 2020 1828 1764 1700 1508 1316 1252 1124 1060 868 141 13 709 645 581 453 12126 11742 11550 11422 11358 11294 11230 11166 11102 10974 10782 10718 10654 10334 10270 5797 10142 5733 5605 9950 5541 9886 5477 5413 5349 9694 5285 9566 5157 5029 6045 4965 9310 4901 9246 5853 9118 4709 9054 4645 4581 8926 4517 8862 4389 8734 4261 8606 4197 8542 8478 4069 8414 4005 8350 3941 3877 8222 8158 373 309 8030 245 3621 3493 7838 7774 3365 7710 3301 7646 6373 7582 7454 6181 7390 7326 12447 7198 12383 7070 7006 2981 2917 2853 2725 6686 6622 6558 2533 2469 2405 2341 2277 2085 1957 1893 1829 1637 1445 1317 1253 1189 1061 997 869 782 3148 710 646 518 454 12255 11999 11871 11743 11679 11551 11359 11167 11103 11039 10975 10911 10847 10655 10591 10527 10463 10335 5798 10143 10079 5606 5542 5478 5414 9759 5222 9567 5158 9503 5094 9375 5982 5918 9247 9183 4774 9119 8991 4582 4518 8863 4454 8799 4390 4326 8671 4262 8607 8543 4134 8479 4070 8351 3942 8287 8223 3814 8159 374 8095 3686 246 7967 3558 7903 3494 7839 7775 3366 7711 3302 7647 3238 7455 6182 7391 7263 7199 12320 7071 2982 2918 6879 2726 6687 2662 6623 6559 2534 6495 6431 2406 2150 1958 1830 1702 1638 1382 1126 998 79 15 647 583 519 455 12128 12064 11680 11616 11552 11104 10976 10848 10656 10592 10400 10336 851 5799 10080 5671 9952 5543 5479 9824 5351 5287 5223 9568 5159 9504 6111 9440 5031 9312 5919 9248 4839 5855 9184 9120 4647 4583 8928 8800 8736 1549 4327 4263 4199 8544 4071 8416 4007 8352 3879 8224 8160 8096 3687 3623 3559 7904 3495 3431 3367 7648 6375 7584 6311 7520 6247 7392 7200 12385 12321 7072 7008 6944 2919 6880 6816 6752 2727 6688 2663 2599 6560 6496 6432 2407 2279 2215 2151 2023 1767 1639 1511 1447 1383 1319 1255 999 871 784 16 648 584 520 12257 12193 12129 12065 12001 11937 11681 11617 11553 11489 11425 11361 11233 11041 10977 10721 10657 10593 10529 10401 10337 852 10145 5736 5672 10017 5608 5480 9825 9761 5352 5288 9569 5160 9505 6112 5032 9313 5920 4904 5856 4776 9121 4712 9057 4648 8993 8929 4520 8865 8737 1550 8673 4264 8609 8417 8353 3944 8289 3880 8225 3816 8161 376 8097 3688 8033 248 3624 7905 3496 7777 7713 3304 7649 3240 7585 7521 7457 7393 7329 12450 7201 7137 12322 7073 3048 7009 2920 6817 6753 2664 6625 2600 6561 6497 2472 2344 2216 2088 2024 1832 1768 1704 1640 1512 1448 1384 1320 1256 1064 1000 936 785 145 81 12258 12194 11874 11810 11746 11682 11618 11554 11362 11298 11234 11170 10978 10914 10850 10466 10338 853 10146 5673 5609 5545 9890 9826 5417 9762 5353 9698 5225 5161 9506 6113 9442 5033 9378 9314 4905 5921 4841 5857 4713 9058 8994 4585 4521 8674 8546 4137 8482 4073 8418 4009 8354 8226 8162 8098 313 3689 8034 7970 3497 3433 7778 3369 7650 6377 7586 7522 7458 6185 7394 7266 12451 7202 12387 7138 12323 7074 7010 2985 6946 2921 2857 6818 2793 2729 2665 6498 2473 2281 2217 2153 2089 2025 1961 1897 1705 1513 1257 1193 1129 1065 1001 873 146 18 3088 586 12259 12195 12131 12067 12003 11939 11811 11683 11619 11555 11363 11299 11235 11043 10915 10595 10339 10275 854 10211 5674 10019 5610 9891 5482 9827 5418 5354 5290 9635 9571 5162 9507 5098 6114 4970 9315 5858 9187 4714 9059 8995 8931 4522 4458 4394 1552 4330 8675 4266 8611 8547 4138 8483 4074 4010 8355 3946 8291 3690 8035 250 3562 7907 3498 3434 7715 3306 6378 7587 7523 6250 7459 6186 7395 7331 12452 7203 12388 12324 7075 3050 7011 6947 2922 6883 2858 6819 2794 6755 2730 2666 6627 6563 6499 2474 6435 2410 2282 2218 2154 2090 1898 1834 1770 1706 1642 1322 1258 1130 1066 1002 787 147 83 715 651 587 523 12132 12068 12004 11940 11876 11812 11748 11492 11300 11172 11108 11044 10788 10724 10596 10532 10468 10404 10340 855 10212 10148 5739 10084 9956 9892 5483 5419 9764 5355 9700 5291 9636 9572 5163 9508 5099 9380 5987 4971 9316 5923 9252 4843 5859 9188 9060 8996 4587 8932 8868 4459 8804 4395 8676 8612 8548 4139 8420 8356 8292 3883 8164 3755 8036 3627 7780 3371 3307 7652 6379 3243 7588 7524 6251 6187 7396 7332 7268 12453 7204 12389 7140 12325 7012 2987 2795 6692 6628 2603 6564 6500 2475 2411 2347 2283 1963 1707 1515 1323 1195 1131 1003 939 875 788 3154 716 652 588 12261 12197 12133 11941 11813 11749 11685 11621 11493 11429 11173 10789 10725 10661 10469 10405 5804 10149 5740 5548 9893 5420 5356 5228 5164 9381 4972 9317 5924 4844 9125 4716 9061 8933 4524 8805 4396 8741 4332 4268 8613 4140 8485 8421 4012 8357 8293 3884 3820 8165 380 8101 316 3692 8037 252 3628 3564 7909 3500 7781 3372 7717 3308 6380 3244 6316 6252 6188 7333 12454 7205 7141 12326 7077 7013 2988 6949 2924 2860 6821 6757 2732 6693 2668 6629 6565 2540 6501 2476 2412 2284 2156 2028 1836 1772 1708 1452 1260 1196 940 876 717 653 589 461 12262 12198 12134 12006 11942 11814 11750 11686 11622 11558 11494 11430 11366 11302 11046 10982 10918 10790 10726 10662 10534 10406 10342 10278 10214 5805 10150 10022 9958 5549 9894 5485 9830 9766 5357 9702 5293 9638 5229 9574 5165 6053 5989 5925 4909 9254 4845 5861 9190 4781 4717 9062 4653 8998 8806 8742 1555 4333 4269 8614 8550 8486 4013 8358 8294 3885 3821 381 8102 3693 8038 253 3629 7974 3565 7910 3501 3437 3373 7718 7654 3245 7590 6253 7462 6189 7398 7334 12391 7078 2925 2861 6822 6694 2669 6502 2349 2093 2029 1901 1837 1709 1645 1517 1453 1325 1133 1069 877 196 86 22 3156 3092 654 590 12135 11687 11559 11495 11431 11367 11303 11239 11175 11111 10983 10855 10791 10727 10535 10407 10279 858 10215 10151 5742 10087 5678 5614 5550 5486 5422 9767 5358 9703 9639 9575 5166 6118 6054 5038 9383 4974 9319 4910 5926 9255 4782 9127 4718 9063 4590 8935 4526 8871 4462 8807 8743 4334 1556 4270 8615 4206 8487 4078 8423 4014 8359 8231 3822 8167 382 3758 318 3630 3566 7911 3502 3438 7783 3374 7719 7655 3246 6318 7527 6254 7399 7335 7207 12392 7143 7079 3054 2926 6887 6823 2798 2734 6695 2670 6631 2606 6567 2542 2478 6439 2350 2094 1966 1902 1838 1774 1710 1454 1390 1326 1262 1134 1006 942 878 197 23 3093 719 655 591 12264 12136 12072 12008 11944 11880 11752 11688 11560 11496 11432 11304 11176 11048 10984 10792 10728 10664 10600 10536 10472 10408 10280 10216 5743 5679 9960 9896 5487 9832 9768 9704 5295 9640 5231 9576 9512 6055 9384 4975 9320 4911 4847 9192 4783 4655 9000 4527 8872 8808 4399 8744 4335 1557 4271 8616 4207 8488 4079 8424 4015 8360 8296 3887 3823 3759 8104 319 3695 255 3503 7848 3439 7784 3375 7720 3311 7656 6383 7592 6319 7528 7464 7400 7336 7272 12457 7208 12393 7144 12329 3055 2927 6888 2863 6824 2799 6696 2671 6632 2607 6568 2543 2479 6440 2415 2159 2095 1647 1455 1263 1135 1007 943 198 88 24 720 464 12265 12073 11881 11817 11625 11561 11497 11433 11369 11305 11177 11049 10985 10921 10793 10665 10601 10473 10409 10281 860 5808 10153 5744 10089 5680 10025 5616 9961 5552 9897 5488 9705 9641 5232 9513 5104 6120 5040 6056 5928 9257 4848 5864 4720 4656 4592 8937 4400 8745 4336 1558 8681 4272 8617 8553 4144 8489 4016 3952 3824 384 3760 8105 320 3696 3632 3568 7913 7849 7785 3376 7721 7657 3248 6384 7593 7529 7465 6192 7337 7273 12458 7145 12330 7081 3056 7017 2992 6889 2864 6825 2800 2736 6633 2608 6569 2544 6505 2480 2416 2096 2032 1968 1904 1712 1392 1072 1008 944 199 793 153 89 25 3159 3095 721 657 529 465 12266 12138 12074 12010 11946 11882 11818 11754 11690 11562 11370 11178 10922 10858 10666 10602 10410 10346 5809 10154 5745 5681 10026 5553 9898 5489 5425 9770 9706 5233 9578 5169 9514 5105 6121 6057 9386 4977 5993 9322 5929 9258 5865 4849 9194 4785 9130 4721 9066 4657 4593 4529 8874 4465 8810 8746 1559 4337 8682 8618 4209 4145 4017 8362 3953 8234 3825 8170 385 8106 321 8042 3633 7978 3505 3377 3313 7658 3249 6321 7530 6257 7466 7402 7274 12459 12395 12331 7082 3057 7018 2865 2801 6762 6634 6506 6442 2353 2289 2161 2033 1969 1905 1777 1713 1521 1457 1265 1201 1073 1009 945 200 794 3160 3096 594 530 12267 12075 11947 11819 11691 11627 11563 11499 11371 11243 11179 11051 10987 10859 10795 10731 10667 10539 10283 862 5810 5682 9963 9899 5490 9835 5426 5362 9707 9579 5170 9515 5106 6122 9451 6058 4978 4914 5930 4850 5866 9195 4722 4658 9003 4594 8939 8875 8811 4402 8747 8683 8619 8555 4146 8491 8427 8363 3954 8171 386 3762 8107 322 8043 7979 3570 7915 7851 3378 7723 3314 7659 7595 6322 7531 6258 7403 7339 12460 12396 7147 7019 2930 6891 2866 2738 6635 2610 6507 2482 6443 2418 2354 2290 2162 2098 1778 1650 1522 1394 1330 1266 1202 946 882 155 91 27 3161 3097 723 595 531 467 12204 12140 11884 11692 11564 11500 11436 11372 11308 11244 11180 11116 10668 10540 10476 10348 10284 863 5747 10092 9964 9900 5427 9772 5363 5299 9516 5107 5043 6059 4979 9324 4915 5931 9260 5867 9132 4723 9068 4659 9004 8940 4531 4467 4403 8748 8684 8492 8428 4019 3955 8300 3827 8172 3763 8108 323 3699 3635 7980 3571 3507 3443 7788 3379 7724 7660 6323 7532 6259 7468 6195 7404 7340 7276 7148 7084 7020 2931 6892 2867 6828 2739 2611 2547 6508 2483 6444 2355 2291 2227 2035 1971 1907 1843 1715 1395 1267 1139 947 883 796 724 468 12077 12013 11885 11693 11629 11501 11437 11245 11181 11117 11053 10989 10925 10861 10797 10669 10541 10413 10349 10285 864 10221 5684 10029 5620 9965 5556 9901 9837 5364 9709 9645 5236 5108 6124 9453 5044 9389 4980 5996 9325 5932 4852 5868 9197 4788 4660 4596 8941 4532 4404 8749 4276 8557 8429 4020 3956 3892 3828 388 8109 3700 8045 7981 7917 7853 7789 3316 7661 3252 6388 6324 7469 6196 7341 7277 7213 7085 7021 2996 6957 2932 6893 6765 2676 6637 6573 6509 2484 6445 2420 2356 2292 2228 2036 1908 1844 1652 1524 1460 1396 1332 1268 1140 1076 1012 203 3163 725 661 597 533 469 12270 12014 11950 11886 11822 11566 11502 11438 11310 11246 11182 11054 10990 10862 10798 10734 10670 10606 10478 10414 5813 10030 5621 5557 9902 5493 9838 5429 9774 5301 9646 9582 5173 9518 5109 6125 9454 5045 6061 9390 4981 9326 5933 9262 5869 4853 9198 9134 9070 4661 9006 8942 4533 4405 8750 4341 8622 4149 8494 4085 8430 4021 8366 3957 8302 8174 3765 389 3701 8046 7982 7918 3509 3445 3381 7662 6389 3253 6325 7406 7342 7278 7214 12399 7150 12335 7086 3061 7022 6958 2933 6894 2869 6830 2741 6702 6638 6510 6446 2421 2293 2101 1973 1845 1781 1717 1653 1525 1461 1397 1269 1141 1077 949 158 94 3164 726 598 534 12271 12207 12143 11823 11759 11695 11631 11567 11503 11439 11375 11311 11247 11183 11055 10991 10863 10799 10735 10607 10415 10351 10223 866 10159 10095 5686 5558 5494 9839 5430 9775 9711 5302 9647 9583 5174 9519 5110 6126 9455 5046 6062 5998 4982 5934 9263 5870 9135 4662 9007 4598 4534 8879 4470 8815 4342 8687 4278 8623 4214 8559 8495 4086 8431 8367 3958 8303 8175 3766 390 3702 3638 262 7919 7855 3446 7663 6390 3254 7535 7471 7407 6198 7215 7151 7087 6959 2934 2870 6831 2742 6703 2678 6575 2422 2294 2166 2102 2038 1910 1846 1782 1718 1398 1078 886 205 159 95 663 599 471 407 12208 12080 12016 11952 11888 11824 11568 11504 11312 11248 11184 11056 10928 10864 10672 10608 10544 10480 10416 10352 10160 803 10032 9840 5431 9776 5303 9584 5111 6127 9456 5047 5999 5935 4919 5871 9200 4791 9136 9072 4663 4599 8944 4535 4471 8816 4407 8752 4343 1565 8624 4215 8496 4087 8368 3959 3895 8176 3767 8112 327 3703 3639 7984 3575 7920 7856 7792 3383 7728 3319 3255 7600 6391 7536 6327 6263 7408 6199 7280 7216 7088 7024 2999 6960 2935 6896 2871 6832 2807 2743 6704 2679 2551 6512 2359 2295 2167 1847 1719 1655 1527 1463 1335 1143 1015 951 800 160 32 3166 3102 728 600 472 12273 408 12209 12145 12081 11953 11889 11825 11761 11697 11569 11441 11377 11313 11185 11121 11057 10993 10929 10801 10737 10673 10545 10289 804 5752 10097 5688 10033 9969 9905 5496 5432 5368 9713 5304 5240 9585 5176 6128 9457 6064 5048 9393 4984 6000 4856 9201 4792 9137 9073 4664 4600 4536 8881 4472 8817 8753 1566 4280 8561 4152 4088 8433 3960 8305 3832 3768 8113 3704 8049 7985 7857 7793 3320 7665 3256 6392 6328 7473 6200 7153 12402 7089 12338 7025 6961 3000 6897 6833 6705 2744 6641 2680 2552 6449 2424 2360 2296 2168 1976 1912 1848 1784 1528 1464 1336 1144 1080 1016 952 161 97 33 3167 537 473 409 12210 12146 12082 11954 11826 11762 11506 11314 11250 11122 11058 10930 10866 10802 10482 10418 10354 10290 805 5817 10162 5753 10098 5625 5561 5497 9842 9778 5369 9714 5305 9650 5241 9586 5177 9522 6129 5049 6065 6001 4985 9330 4921 9266 4857 5873 9138 4729 9010 4601 8882 4473 8818 8690 0
136.00/136.09 c Terminating MUSer ...
136.00/136.09 c CPU Time: 136.01
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3493811-1307803063/watcher-3493811-1307803063 -o /tmp/evaluation-result-3493811-1307803063/solver-3493811-1307803063 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493811-1307803063.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 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.99 3.59 2.74 4/189 15518
/proc/meminfo: memFree=29872120/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=4752 CPUtime=0 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 656 0 0 0 0 0 0 0 25 0 1 0 970536939 4866048 610 33554432000 4194304 5696331 140734084536368 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 1188 611 114 367 0 818 0
[startup+0.0153211 s]
/proc/loadavg: 3.99 3.59 2.74 4/189 15518
/proc/meminfo: memFree=29872120/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=6068 CPUtime=0.01 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 1261 0 0 0 1 0 0 0 25 0 1 0 970536939 6213632 1213 33554432000 4194304 5696331 140734084536368 18446744073709551615 4965734 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 1517 1215 140 367 0 1147 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6068
[startup+0.100325 s]
/proc/loadavg: 3.99 3.59 2.74 4/189 15518
/proc/meminfo: memFree=29872120/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=6648 CPUtime=0.09 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 1405 0 0 0 9 0 0 0 25 0 1 0 970536939 6807552 1357 33554432000 4194304 5696331 140734084536368 18446744073709551615 4402265 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 1662 1357 143 367 0 1292 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6648
[startup+0.300295 s]
/proc/loadavg: 3.99 3.59 2.74 4/189 15518
/proc/meminfo: memFree=29872120/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=7572 CPUtime=0.29 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 1641 0 0 0 29 0 0 0 25 0 1 0 970536939 7753728 1593 33554432000 4194304 5696331 140734084536368 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 1893 1593 143 367 0 1523 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7572
[startup+0.701213 s]
/proc/loadavg: 3.99 3.59 2.74 4/189 15518
/proc/meminfo: memFree=29872120/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=9208 CPUtime=0.69 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 2045 0 0 0 69 0 0 0 25 0 1 0 970536939 9428992 1997 33554432000 4194304 5696331 140734084536368 18446744073709551615 4397020 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 2302 1997 143 367 0 1932 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9208
[startup+1.50106 s]
/proc/loadavg: 3.99 3.59 2.74 5/190 15519
/proc/meminfo: memFree=29859496/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=6796 CPUtime=1.49 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 3060 0 0 0 149 0 0 0 25 0 1 0 970536939 6959104 1413 33554432000 4194304 5696331 140734084536368 18446744073709551615 4399971 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 1699 1413 144 367 0 1329 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6796
[startup+3.10077 s]
/proc/loadavg: 3.99 3.60 2.75 5/190 15519
/proc/meminfo: memFree=29859240/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=9884 CPUtime=3.09 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 5937 0 0 0 308 1 0 0 25 0 1 0 970536939 10121216 2173 33554432000 4194304 5696331 140734084536368 18446744073709551615 4398547 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 2471 2173 149 367 0 2101 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9884
[startup+6.30118 s]
/proc/loadavg: 3.99 3.60 2.75 5/190 15519
/proc/meminfo: memFree=29779884/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=93240 CPUtime=6.29 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 26781 0 0 0 625 4 0 0 25 0 1 0 970536939 95477760 23008 33554432000 4194304 5696331 140734084536368 18446744073709551615 4392379 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 23310 23008 149 367 0 22940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93240
[startup+12.701 s]
/proc/loadavg: 3.99 3.61 2.76 5/190 15519
/proc/meminfo: memFree=29874848/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=161944 CPUtime=12.69 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 43934 0 0 0 1263 6 0 0 25 0 1 0 970536939 165830656 40152 33554432000 4194304 5696331 140734084536368 18446744073709551615 4394734 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 40486 40152 150 367 0 40116 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 161944
[startup+25.5006 s]
/proc/loadavg: 3.99 3.62 2.77 5/190 15520
/proc/meminfo: memFree=29744020/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=210572 CPUtime=25.49 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 56070 0 0 0 2542 7 0 0 25 0 1 0 970536939 215625728 52283 33554432000 4194304 5696331 140734084536368 18446744073709551615 4400413 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 52643 52283 150 367 0 52273 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 210572
[startup+51.1009 s]
/proc/loadavg: 3.99 3.65 2.81 5/190 15520
/proc/meminfo: memFree=29770128/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=216552 CPUtime=51.09 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 57632 0 0 0 5102 7 0 0 25 0 1 0 970536939 221749248 53844 33554432000 4194304 5696331 140734084536368 18446744073709551615 4400680 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 54138 53844 150 367 0 53768 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 216552
[startup+102.306 s]
/proc/loadavg: 3.99 3.71 2.87 5/190 15525
/proc/meminfo: memFree=29510736/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=216552 CPUtime=102.3 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 57637 0 0 0 10222 8 0 0 25 0 1 0 970536939 221749248 53849 33554432000 4194304 5696331 140734084536368 18446744073709551615 4401192 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 54138 53849 150 367 0 53768 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 216552
Solver just ended. Dumping a history of the last processes samples
[startup+115.101 s]
/proc/loadavg: 3.99 3.72 2.88 5/190 15525
/proc/meminfo: memFree=29374576/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=216552 CPUtime=115.09 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 57637 0 0 0 11501 8 0 0 25 0 1 0 970536939 221749248 53849 33554432000 4194304 5696331 140734084536368 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 54138 53849 150 367 0 53768 0
Current children cumulated CPU time (s) 115.09
Current children cumulated vsize (KiB) 216552
[startup+127.901 s]
/proc/loadavg: 3.99 3.73 2.90 5/190 15525
/proc/meminfo: memFree=29355016/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=216552 CPUtime=127.89 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 57637 0 0 0 12781 8 0 0 25 0 1 0 970536939 221749248 53849 33554432000 4194304 5696331 140734084536368 18446744073709551615 4401092 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 54138 53849 150 367 0 53768 0
Current children cumulated CPU time (s) 127.89
Current children cumulated vsize (KiB) 216552
[startup+131.101 s]
/proc/loadavg: 3.99 3.73 2.90 5/190 15526
/proc/meminfo: memFree=29355012/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=216552 CPUtime=131.09 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 57637 0 0 0 13101 8 0 0 25 0 1 0 970536939 221749248 53849 33554432000 4194304 5696331 140734084536368 18446744073709551615 4400784 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 54138 53849 150 367 0 53768 0
Current children cumulated CPU time (s) 131.09
Current children cumulated vsize (KiB) 216552
[startup+134.3 s]
/proc/loadavg: 3.99 3.74 2.91 5/190 15526
/proc/meminfo: memFree=29355012/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=216552 CPUtime=134.3 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 57637 0 0 0 13421 9 0 0 25 0 1 0 970536939 221749248 53849 33554432000 4194304 5696331 140734084536368 18446744073709551615 4400211 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 54138 53849 150 367 0 53768 0
Current children cumulated CPU time (s) 134.3
Current children cumulated vsize (KiB) 216552
[startup+135.1 s]
/proc/loadavg: 3.99 3.74 2.91 5/190 15526
/proc/meminfo: memFree=29355012/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=216552 CPUtime=135.1 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 57637 0 0 0 13501 9 0 0 25 0 1 0 970536939 221749248 53849 33554432000 4194304 5696331 140734084536368 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 54138 53849 150 367 0 53768 0
Current children cumulated CPU time (s) 135.1
Current children cumulated vsize (KiB) 216552
[startup+135.901 s]
/proc/loadavg: 3.99 3.74 2.91 5/190 15526
/proc/meminfo: memFree=29355012/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=216552 CPUtime=135.9 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202496 57637 0 0 0 13581 9 0 0 25 0 1 0 970536939 221749248 53849 33554432000 4194304 5696331 140734084536368 18446744073709551615 4402728 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/15518/statm: 54138 53849 150 367 0 53768 0
Current children cumulated CPU time (s) 135.9
Current children cumulated vsize (KiB) 216552
[startup+136.101 s]
/proc/loadavg: 3.99 3.74 2.91 5/190 15526
/proc/meminfo: memFree=29355012/32950928 swapFree=67051096/67111528
[pid=15518] ppid=15516 vsize=0 CPUtime=136.09 cores=4,6
/proc/15518/stat : 15518 (muser) R 15516 15518 14391 0 -1 4202500 57638 0 0 0 13600 9 0 0 25 0 1 0 970536939 0 0 33554432000 0 0 0 0 0 0 0 4096 24615 18446744073709551615 0 0 17 4 0 0 0
/proc/15518/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 136.09
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 136.107
CPU time (s): 136.11
CPU user time (s): 136.009
CPU system time (s): 0.100984
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 216552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.009
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57638
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= 4
involuntary context switches= 173
runsolver used 0.255961 second user time and 0.489925 second system time
The end
Begin job on node113 at 2011-06-11 16:37:43
IDJOB=3493811
IDBENCH=88012
IDSOLVER=1969
FILE ID=node113/3493811-1307803063
RUNJOBID= node113-1307802564-15218
PBS_JOBID= 13551039
Free space on /tmp= 74104 MiB
SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net70-30-1.shuffled.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493811-1307803063/watcher-3493811-1307803063 -o /tmp/evaluation-result-3493811-1307803063/solver-3493811-1307803063 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493811-1307803063.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 27221585b83b11810b779a4f3acf3787
RANDOM SEED=1697966016
node113.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 : 5332.76
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.74
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.75
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.74
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.83
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29872548 kB
Buffers: 274484 kB
Cached: 915428 kB
SwapCached: 14384 kB
Active: 2163104 kB
Inactive: 708324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29872548 kB
SwapTotal: 67111528 kB
SwapFree: 67051096 kB
Dirty: 1600 kB
Writeback: 0 kB
AnonPages: 1678776 kB
Mapped: 11004 kB
Slab: 139236 kB
PageTables: 8352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1912180 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= 74104 MiB
End job on node113 at 2011-06-11 16:39:59