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