0.00/0.00	c MoUsSaka with meat
30.29/30.31	
30.29/30.31	s UNSATISFIABLE
1332.72/1332.75	c Core is minimal
1332.72/1332.75	
1332.72/1332.75	v 664 660 41 473 502 2293 542 571 3042 747 1517 803 763 624 1871 2164 628 2240 3611 1930 1929 1931 2795 2797 1918 1916 1762 2629 1761 2627 1763 382 381 2790 2789 391 392 2515 2779 2780 2517 2948 546 120 1650 118 2516 1655 119 2082 545 123 550 548 3020 560 627 2947 2521 2946 2944 2518 2520 2519 2945 121 2077 117 122 1753 547 559 2943 2154 622 221 4060 520 2957 2958 3024 1919 3382 3387 5860 1797 2784 6726 2782 2796 2235 8458 7592 2619 9324 10190 12788 13654 17120 17118 16253 16254 17119 16252 15387 15388 14521 13656 13655 14522 11923 12789 11924 12790 15386 14520 11056 11922 11058 10192 11057 10191 9326 9325 4512 4511 4247 4521 4522 3495 4359 3650 3493 3662 3648 4361 3661 3663 3494 5388 5387 5377 5378 4251 4675 4679 4680 4676 4250 4678 4249 4677 4439 4253 4252 5119 5114 4248 4059 8460 8459 220 3096 2792 2791 2642 4866 2800 2641 2633 2801 2798 1770 244 4012 1775 1774 3134 1776 2227 695 2799 2639 2630 240 238 235 243 1928 241 401 396 234 403 4865 3506 3507 239 232 1769 2634 2636 400 3092 2632 2794 2638 2637 2640 3660 3667 1935 402 237 242 3809 3814 5541 5546 4752 3886 5618 3949 3897 3893 4114 4018 4050 3933 3596 3937 3978 3983 3885 3889 3913 3901 3616 3998 4094 3636 4042 3961 3917 4924 4952 4880 4900 4968 4082 3909 3945 4110 3969 3905 4912 3624 4864 4888 4884 4993 4960 4872 3612 3632 4994 4916 4860 4964 4876 4956 4928 3620 3921 3836 4988 4086 3925 4896 4010 4030 4014 4936 4066 4127 4038 4948 4026 4128 4058 3287 4054 3608 4106 3988 4006 4074 4984 4118 4046 3965 3644 3929 4932 4976 4992 3640 3600 3604 4062 4022 4892 4078 4102 3941 4090 3628 3957 3973 4034 3953 4868 3994 4002 6728 6727 7594 4995 5861 5862 4996 3560 3528 3548 3532 3655 3656 3646 3645 4063 3266 3265 3544 3556 3564 3540 3568 3511 3536 3583 3552 3647 3658 6253 6243 6244 6618 6246 5702 6093 5226 5383 5384 5225 6250 6247 6091 5382 5227 7273 7278 6412 5981 5982 6410 6411 6409 6846 6851 6407 5983 5985 6408 5980 5984 6484 4351 3485 4518 4515 4885 4517 3108 3109 4516 2663 3101 3649 3970 3967 3652 3529 3651 6103 6097 6094 6251 6096 6105 6970 6101 4836 5381 6259 6261 6260 5380 5261 4395 5379 5390 4370 4371 4365 4531 4532 4530 4364 4362 4533 4519 4523 4520 6264 6098 5234 6100 6245 4366 4368 4369 4373 5743 4526 4828 4524 4825 4513 5239 5238 3501 3502 4372 4849 4831 4859 4835 4844 4839 4827 4374 4854 6598 5240 3531 3968 3510 3543 4867 4826 3960 2788 2787 3541 4367 6258 6265 5273 6099 3959 7423 3657 3666 3500 2781 8330 2635 1809 1917 2786 2785 2238 2783 1920 5399 5392 5398 5389 5232 4013 6557 7124 7131 6972 6106 4830 6610 5694 7975 7976 7986 7985 7711 7712 7717 8578 8216 8583 7815 6949 7350 7715 8140 8141 9255 8221 8737 8698 6966 6965 7996 8289 7994 7995 9207 9160 7828 8843 8854 7834 8719 8723 1923 1924 4941 2230 1768 1913 1914 1934 4064 3014 2964 3013 3015 2609 2612 2611 2610 2613 2528 2596 2527 2597 3198 3197 2598 3017 2954 3272 3270 3274 3271 3268 3275 3273 2614 2600 2507 2455 2480 2464 2497 2514 2470 2511 2484 2433 2508 3523 4076 3526 4943 3524 2608 2594 2581 2589 2569 2565 2595 2532 2591 2590 2557 2592 2561 2577 2593 2549 2553 2588 2573 2545 2474 2460 2451 2509 2429 2526 2510 2513 2493 2403 2512 2402 2599 3252 2413 3164 2404 2690 3260 2686 3184 2762 2758 3277 4129 2409 3075 3200 3204 3018 2778 3148 2754 3127 3035 3063 2399 3216 3168 3144 3248 3212 2963 4065 2927 2621 3071 2405 2738 2953 2666 3152 3122 3099 2616 2625 2674 3083 3224 2766 2734 2730 3188 3199 2645 2694 3244 3095 3016 3263 3136 3107 2774 3047 2970 3160 3172 2702 2717 3236 3019 3055 2601 3117 3079 3140 3261 3228 2617 3278 3240 3208 3051 2770 3043 2412 4130 3192 3023 3103 3256 2662 2926 2750 3128 2678 2698 3039 2742 2682 3067 3156 3180 3091 3027 2746 3087 3031 3196 3059 3132 3264 3012 3989 3094 4895 2644 3972 4887 3992 1555 3527 4893 3991 4077 2626 3135 3098 4944 3269 4098 4126 3267 2536 3262 3220 3993 4940 4920 4980 2400 3112 3232 2670 2401 4908 4122 2615 7593 3176 4904 4070 4972 6104 6971 6102 6255 6252 6256 5233 8143 549 2155 1752 2956 623 536 5854 5746 5754 5842 5794 5798 5822 6628 5697 5665 6640 6652 5633 5617 5693 5368 6612 6716 5356 5649 6704 5720 6720 6688 5681 6724 5364 6668 5701 6708 5621 5661 6680 5645 5653 5685 6632 5725 6616 5673 6684 2618 3021 4350 3484 5216 5328 5332 5336 5340 5689 5360 6656 5834 5766 5730 5705 6664 5568 6636 6672 6676 5376 6725 6700 5629 5750 5738 5830 5657 5625 5850 5726 5802 6624 5677 5641 6712 6692 5637 5846 5786 5790 6644 6648 5344 6620 6660 5762 5859 5778 5814 5348 5826 5352 5858 5838 5734 5715 5710 5372 5770 5758 5810 6696 5806 5669 5818 5742 5782 6608 5774 7814 6082 6948 6658 6485 6421 6420 6422 3887 5554 5556 4753 5791 5622 8577 8739 8841 8842 9141 9093 9270 9121 9273 8696 7431 7112 7126 7127 7823 6958 6957 6959 7825 8697 7836 9174 9210 9190 9179 7978 6565 7114 7125 6993 7992 8756 8724 8740 8732 8728 8736 8792 8800 8820 8824 8828 9218 9125 9129 9109 9230 9258 9032 8832 9081 8840 8812 8720 8808 8816 7830 7833 7832 10137 10062 7829 7997 9149 7837 7990 9133 9266 8804 8748 8744 8752 8760 8796 8779 8764 9137 9250 9165 9097 9101 9246 9274 8836 9214 9254 9117 9085 9145 9194 9222 9157 9238 9169 7716 9184 9189 9113 8217 8153 8142 9226 9089 9262 9234 9198 9206 8154 8139 8144 7714 7713 7826 9242 7835 9153 7993 7991 6127 7822 7838 8722 7005 7831 9158 9272 9105 9161 9202 9709 9565 9569 9443 9635 9708 9718 9707 9446 9445 9953 10750 9872 9717 10315 9713 8725 8297 8857 10024 9563 8689 8691 9711 10081 9714 8858 8690 10122 9557 9555 8844 8859 9163 9567 10575 9566 635 2283 7903 4649 4652 3786 3783 2163 2919 2720 5324 5323 311 1860 535 6382 6398 2718 325 2724 2722 4650 2917 2725 328 327 2920 2918 2054 6174 8337 7264 7262 6397 6173 6396 8450 6383 6171 6172 5515 2721 4665 4441 1854 2051 5518 309 326 324 1859 2726 2723 1853 2707 2709 4443 4445 4444 3579 3578 4456 4459 4450 3591 5631 3142 1869 2162 2727 3593 4457 6606 4453 4452 4455 4451 4458 5325 4454 3592 3798 4016 3800 5327 5852 7042 7043 6175 6381 6384 6176 6177 10184 10176 10152 10080 10072 10060 10088 10068 10076 10092 10100 10096 10064 10084 10132 10104 10112 10108 10144 10116 10124 10120 10128 10136 10140 10055 10027 10050 10040 10031 10056 10035 10045 10156 10160 10180 10189 10172 10188 10148 10168 10164 5288 7987 7977 5260 7988 5296 5280 5300 5315 5292 5284 5276 5268 5272 5264 5243 9995 10015 10011 10007 9999 10019 10023 10003 9706 9991 9690 9987 9983 9951 9209 10139 10063 9294 9302 9278 9318 9323 9310 9314 9290 9282 9306 9298 9322 9286 8341 8483 6600 6604 6592 5019 6596 6576 6591 6559 6586 6567 6581 6571 6563 7056 6184 6189 6185 7055 5335 6183 4874 3028 329 1861 3601 3585 3586 2719 6625 5723 5721 6607 6497 5318 7057 4664 5532 5530 3899 4765 6627 4666 6191 6187 5317 6188 5333 5316 6190 6182 6186 7824 2234 1798 5703 5698 4832 5262 5393 5395 4396 7982 7979 3966 4527 4529 3530 7430 8350 7113 6128 7116 6994 7435 6569 10435 10434 10436 3542 251 257 252 258 694 256 1793 1791 261 3210 259 1792 260 250 6092 5744 4375 4824 6599 5241 6597 1810 6263 6561 6262 2226 3133 9018 9020 4807 4434 4490 4486 4394 4430 4815 4498 4466 4771 4823 4751 4474 4494 4787 4402 4791 4426 4398 4759 4803 4482 4410 4799 4422 4377 4763 4470 4767 4702 4478 4775 4779 4510 4795 4502 4506 4783 4406 4819 4462 4811 4414 4449 4418 4755 10752 9884 9873 9447 9449 9448 10310 9874 9005 9875 9444 9885 9010 9886 9876 9948 9082 10942 10938 10926 10946 10921 10934 10922 10930 11014 10966 10998 11026 11034 10990 10986 11046 11018 10954 10982 10974 11055 10962 10970 11852 11896 11824 11828 11804 11892 11908 11872 11884 11920 11800 11848 11844 11864 10845 10869 10865 10877 10906 10857 10861 10837 10833 10889 10841 10853 10901 10897 10911 10849 10881 10893 10916 10873 10885 10572 10829 10817 10556 10544 10540 10560 10552 10764 10568 10548 10825 10821 10813 10564 10532 10528 10511 10536 10524 8115 8114 8128 9211 8130 7922 7921 7919 9090 9167 8726 8301 9162 7860 10484 10488 10476 10464 10468 10456 8225 8788 9094 10078 8116 8982 6492 8979 7901 7907 7902 7905 7035 8996 8113 7908 7062 7899 7904 7906 8333 7909 7034 8228 8994 7918 7900 7033 8129 7920 8995 5274 7911 8777 8774 8229 8775 8329 9159 9271 7006 8293 10058 7983 7839 8721 7984 8733 8714 10143 10142 8715 6488 6254 5217 5979 3509 3958 2643 5242 7111 7122 6090 7427 4845 4847 5275 5695 6973 6107 4376 5237 5745 4397 4358 6611 5696 6619 6558 6562 5263 5704 4848 2231 5724 10453 11003 10452 10450 8388 8392 8372 8368 8356 8380 8444 8424 8452 8440 8436 8420 8428 8448 8412 8416 8432 8408 8348 8376 8344 8352 8400 8340 8364 8396 8360 8404 8384 8718 6555 6507 6230 6434 6511 6483 6519 6527 6503 6531 6491 6551 6499 6226 6547 6234 6523 6543 6238 6535 6242 6495 6487 6539 6515 6214 6206 6218 6222 6210 6198 6181 6194 6202 8338 9598 9712 8846 7859 9572 9570 9571 10025 9662 9645 9594 9610 9626 9590 8845 9710 9715 9568 9560 9558 9719 9564 9561 9716 9720 9562 10586 10890 11793 11871 11870 8848 10089 10451 10082 10455 10091 10026 11794 10891 9845 9847 9640 10506 9636 10507 9641 9638 9637 9639 9634 8767 9631 8766 9633 11449 11450 11440 11175 11439 11369 11368 11367 11371 11578 11593 11365 11363 11372 12239 12238 7363 8339 8451 5853 5632 6498 6180 6494 6193 4461 3900 4766 3582 6615 5322 4448 3590 3603 4875 3595 3584 5628 7966 7946 8223 7950 7954 7938 8231 8215 7974 7958 7913 7930 8235 7926 7942 7934 7962 8318 8324 8247 8287 8251 8283 8259 8299 8313 8275 8291 8263 8295 8239 8308 8303 8267 8271 8323 8227 8219 8255 7970 8166 9546 8680 12305 12306 11448 11290 11446 10580 10430 11445 12169 9632 8794 10065 9643 10509 13520 13524 13572 13536 13532 13540 13556 13548 13552 13564 13588 13576 11947 11604 11177 12682 12686 12746 12678 12774 12786 12782 12714 12754 12662 12778 12670 12674 12734 12726 12654 12730 12698 12718 12750 12658 12758 12738 12706 12742 12710 12694 12770 11434 11430 11679 11739 11735 11747 11787 11759 11772 11782 11767 11777 11763 11755 11751 7351 10892 9554 11005 9556 13526 11683 11695 11394 11298 10421 11452 10898 11293 11289 11422 11292 11438 11342 11287 11390 10033 9592 11414 11630 10423 10577 11362 11398 11410 11358 11377 11699 11691 11406 11402 11350 11326 11418 11426 11330 11305 11346 10899 11303 10469 11756 11334 11338 10458 11300 10457 10032 11687 11299 11301 11354 11443 10579 12316 11451 9591 12318 12168 12167 11297 12166 10429 11444 10470 10920 10919 11719 11715 11731 11727 11703 11711 11723 11295 11294 12307 11302 11757 10917 13180 13178 12172 11865 11765 13598 12155 11764 14502 14518 14466 13022 13179 12162 13019 11306 13489 11307 13021 12201 13027 13024 12622 11323 13176 12630 13488 13900 12153 13025 12311 13184 13032 12310 13035 13897 12193 13033 13030 13173 13898 13175 13026 12309 13028 12173 13899 13944 14438 13988 14458 14414 14434 14454 14446 14442 14390 14325 14386 14020 14357 14228 14281 13940 14008 14012 14293 14201 14206 13350 13181 13182 12909 13338 12910 12911 13337 13336 13349 13171 13509 13491 13514 13519 13475 14418 14394 15376 15308 15340 14490 14482 14486 14510 14470 15348 15268 15312 15296 15280 15336 15276 15292 13679 15328 14519 14474 14370 14361 14289 13952 14313 14317 14345 14426 14402 14406 14028 14016 14305 13996 14365 15324 15380 15284 15304 15288 15384 11577 11594 11809 8787 10714 10711 10713 10823 9547 8681 12047 10412 11181 7288 7286 16146 16174 16142 16130 16222 16218 16246 16250 16251 16158 16122 16166 16226 16154 16150 16214 16178 13774 13779 12912 12913 12908 13010 12144 15236 15179 14822 15207 14862 14866 13417 14451 13970 12258 13326 10413 11279 6083 14038 14048 13126 13109 9642 10508 11580 10827 10828 10945 10726 10728 10944 9956 13418 15333 14190 12460 12145 13011 9952 13078 13070 12257 12558 13530 12459 15262 13972 13106 16009 15748 16089 15668 15145 14643 14641 15942 15952 15080 15948 15946 15949 15941 15072 15940 15951 15149 15937 15318 17040 17016 15868 15180 15904 14377 15905 16042 17038 15003 14376 15002 15185 15498 15869 14452 13416 11684 12547 13585 10818 12720 15263 10505 5881 2416 19 5880 5879 18 17 4149 4147 4218 4219 2487 2486 88 89 4148 2415 2417 7613 7683 7682 7611 7612 9740 78 4208 2476 9758 7672 5940 9748 5951 5950 93 420 419 91 90 1625 87 416 418 1624 2490 2491 417 422 2489 9739 2821 421 10687 10688 9822 9749 6285 6283 6281 6286 6284 7151 6282 7152 6280 10606 10605 1955 1956 424 1894 362 5952 5953 5949 6544 6279 6278 9404 9372 10238 10233 9607 9405 9750 9858 10723 10724 11806 14831 14642 15933 15069 15067 14644 15939 15070 15071 15938 14278 15950 15764 16107 16013 16025 17060 15953 15954 15518 15586 15604 15917 15916 16041 16053 16049 17072 15445 15470 15474 15483 15487 16029 15497 17096 15732 16093 16057 16069 16061 17112 16007 15944 15943 15959 16008 16004 15958 15945 15956 15955 16006 17054 16002 16003 16005 17053 15779 15780 15459 15418 15482 17108 17076 16085 16073 16102 10075 10074 11805 15607 15591 15635 16268 15603 14645 15611 15615 15957 17115 16261 16255 17113 14742 16263 16260 16264 16259 15588 16258 16262 16256 16265 15253 15334 14776 14785 15969 14750 14925 14907 13886 14041 14773 14043 16992 14911 14771 14920 13930 15270 13060 14362 15964 15975 15974 15279 15791 14909 15784 13038 16996 15965 15970 14912 10422 10576 11296 10578 11447 14050 13901 13031 12312 12308 13608 12625 13596 12621 13653 13616 12593 12601 13604 13600 13640 12496 12545 12553 12549 12629 12605 12653 12609 12288 12643 13648 13652 12272 12268 12633 12256 13632 12276 12228 12648 12613 15854 15855 13628 14551 15417 14989 13612 13592 12260 12284 12242 12577 12585 12224 12216 12212 14629 12200 12188 12208 12192 12573 12196 12171 12204 14988 12565 12296 12300 3688 2485 3356 2816 3357 5420 4552 4221 2817 4549 4550 2822 3687 5419 4554 4548 4551 4546 4547 4217 2820 4220 2815 4222 4553 2488 2814 2818 2819 10647 10646 9781 8017 5678 3626 3080 3946 4812 7150 2760 4174 4175 5955 8883 8018 7686 8010 8014 8016 8012 7681 5089 5088 8015 8011 5954 6821 8884 6820 7684 4223 7685 7687 8013 9142 8276 7090 5358 6224 4492 7410 4173 8552 8553 10635 9770 10636 9768 5922 5921 5920 2215 1893 361 3081 2759 3947 3625 683 5357 6223 4491 7089 5679 7955 6545 7411 6819 4813 9143 8277 16267 15589 15606 7615 15515 9367 7653 7654 7638 7652 7639 10834 8506 7640 8501 7875 8741 68 2466 4198 5930 7662 9992 9769 10634 9393 10858 16118 13948 13975 13960 14192 13097 16238 16198 16134 16234 16186 13773 13183 13029 12623 14039 12161 12154 13778 12202 12189 14036 13172 13310 13101 13973 13105 13100 12559 13529 13324 12231 13104 13325 13095 13098 13099 12230 12458 9742 9418 9744 9415 9414 9746 9417 10285 10284 9413 9419 9745 9747 9743 9416 9343 9345 9344 5042 3305 9829 9695 10299 10298 1573 43 44 9431 5037 3310 10694 8821 10695 4171 4176 1578 2439 46 2442 2444 2443 45 9687 5907 5906 9355 9354 5908 5903 5087 3355 6751 5905 4411 281 1813 3686 2457 1877 2456 59 345 21 1590 1592 3545 2679 2441 2458 60 346 1878 4189 4151 6769 6143 6774 5277 5883 10637 10643 6786 6788 6208 7009 9977 10851 9760 9371 9759 9406 10016 10843 9403 10000 9738 9386 9384 10252 9673 10250 9395 9370 10835 10859 10539 9385 9353 9394 6207 7074 9347 7073 2832 2830 2831 431 430 434 428 429 1965 1966 432 103 426 104 427 2222 690 7161 6296 7162 6291 6293 6294 6292 6290 6295 6552 4233 5430 4234 4557 4563 3698 2829 4556 2826 2828 4558 4559 4235 4560 5429 4562 4561 3697 2827 4564 5966 5968 2824 105 2825 107 1639 5103 5102 4820 3954 5686 3088 5965 5428 3696 8026 8025 8023 8022 8024 8020 7418 5366 3634 2768 370 4500 1902 6289 3370 2505 3371 2502 2503 2501 5969 1638 5967 2504 6288 4237 4236 7700 7697 7098 6834 6835 6232 69 3331 2467 1599 2468 4199 4200 354 3334 1886 6795 6798 7082 5932 6216 5913 5911 5912 5910 7661 7663 4484 2752 70 1602 3618 2465 4197 5350 5063 5066 5931 5929 6779 6776 6163 7029 7642 7030 6164 2223 1901 2767 3633 369 691 6231 7097 9369 9757 9755 9754 9429 9752 9753 9756 9430 7964 7664 8530 8527 10218 10707 10708 10709 10710 7948 11847 10832 11851 11839 10856 10836 10844 10840 11850 11838 10854 10860 10607 10629 10725 10648 8036 8038 8037 8034 8035 8260 8903 8904 4570 3610 2744 3324 3322 4190 4188 2419 6528 7171 6306 4796 7172 5439 441 3707 4571 6302 6304 6303 2838 3930 440 4574 2839 5440 4572 442 3064 2198 6305 4573 1976 2842 666 1975 444 3708 2841 2840 5662 7394 7940 8902 8520 8518 8806 10538 9672 10628 10617 10616 10615 10008 10624 10614 10627 10626 10625 9828 8456 8457 11688 8486 9780 10297 10283 7401 7457 7429 7482 7470 7590 7591 7550 7518 7437 7405 7421 7393 7554 7389 7534 7562 7546 7510 7506 7542 7425 7578 7442 7433 7486 7526 7474 7478 7514 7582 7413 7452 7397 7417 7409 7586 7574 7502 7462 7538 7558 7522 7466 7494 7458 7490 7570 7530 7566 7447 7498 7088 7373 7100 7357 7369 7104 7300 7361 7353 7385 7092 7381 7349 7108 7365 7084 7080 7096 7377 7076 9857 8049 4209 9821 80 79 1612 1609 2475 2477 77 2478 10094 4583 4582 6317 6316 4584 8008 4585 3718 2853 2850 5450 2851 5451 6314 1986 453 2852 3719 1987 455 452 6315 7183 7182 8489 8956 8955 8090 8488 7622 10101 8006 8007 7623 7621 7616 8268 10093 10018 10002 9236 8947 8948 10013 8000 8005 8001 8002 8003 8004 7610 7614 10017 8089 8362 8892 8281 9147 9148 10866 10879 10880 10868 7160 10095 9152 9151 409 3677 2810 2807 2809 2812 408 410 412 1946 414 1945 2808 3293 2420 1560 22 27 2425 2426 29 1561 3292 2427 2414 406 407 2804 20 16 2805 2418 411 2811 2806 3678 4537 5410 4540 4542 4538 5409 4150 5024 5025 4157 4544 4146 4541 4152 4159 4158 4539 4543 4536 6275 5878 6272 6274 6276 6269 5889 6273 5882 5884 5891 6270 7142 7141 6268 5890 6271 6756 6757 10768 9342 9737 9732 9348 9736 9734 9735 9346 9733 446 294 3676 2206 674 3072 1826 2692 5408 3938 4804 3558 4424 5290 5670 6536 1992 1989 460 457 2855 2858 7402 6156 7022 4210 3344 3341 9131 4207 2844 5939 5942 5904 4569 4172 6300 6301 4568 6393 301 50 1583 51 1833 49 2446 1580 2447 2449 4576 3721 3724 459 2448 458 6512 6308 2857 2856 5787 5528 5527 4588 4589 7260 6320 7259 6394 6321 7140 6504 8551 8872 8369 9237 9132 10103 9813 10680 10679 9814 9996 10221 10220 9997 10867 8754 10004 10012 10689 10706 10696 10681 10705 11846 10838 9671 10537 10842 7956 10871 8822 10830 10001 10870 9993 9688 9376 10641 9776 9985 9775 10642 10878 8048 8044 639 2171 3903 3037 5076 5941 5073 2743 3609 650 2182 3617 2751 3914 5646 4780 6808 3048 6805 7671 2699 3565 4179 4181 4180 3312 4178 3315 10010 8882 5418 9969 10848 11843 10872 10852 9785 11841 9799 10847 9968 9774 9981 10831 11845 10839 10855 11837 11849 10640 10665 9800 10666 9396 10259 9765 9368 9764 9772 10262 9784 9767 9766 9976 9779 10645 9773 9778 8043 8125 5638 5374 4508 3723 3642 2776 1910 378 4431 5047 5044 5373 4507 3641 2775 377 1909 1885 353 7370 7673 7674 8915 3955 8914 7081 6215 5349 4483 10009 7105 6239 8992 8991 8126 8244 9994 7644 8053 7378 1985 8540 8537 7963 8236 9102 7645 8508 8511 8046 8040 7971 7643 8252 8052 9244 8933 8934 8032 7636 8033 8874 8873 6240 7106 8041 5455 8269 8237 7187 8261 7972 8910 8909 8253 10251 10651 8245 3089 5365 4499 9608 4661 4662 5634 5456 6654 5453 8905 8916 8911 8993 8895 8896 8897 8913 8908 8919 8885 7939 8280 9146 8565 8957 9138 8974 8973 8949 9970 9104 10119 9136 7637 9128 9245 8976 8975 8977 9098 8978 8964 8941 8940 9240 8927 8926 9248 9135 1964 439 438 42 2440 2836 2837 7177 7178 5445 5446 4580 638 2170 2847 3714 3713 2845 448 2846 2848 1981 2191 1982 659 450 4579 7184 7179 7173 7261 6312 6520 7163 7153 7165 7164 7143 4781 6311 481 2013 662 2194 2012 6310 6309 7876 3178 293 1825 282 1814 2680 4412 3546 7947 10118 9140 447 4577 4578 3057 3923 4789 1834 302 5447 5441 5432 5433 5421 5431 5411 3701 3699 3709 3689 3715 3679 3700 4788 3922 5654 3056 474 655 3181 2006 2187 2005 8829 8837 9119 9127 9111 8813 9115 7075 9978 9986 9120 9982 9116 9112 9103 8365 5278 5529 5452 4797 3902 3036 4773 8370 3712 6155 4423 3557 5289 2691 7021 675 2207 3939 5023 4805 3073 9241 9249 9100 9110 9126 7888 13587 9144 11373 11370 11366 10098 16187 13467 13362 13166 13058 10097 8487 7887 13455 13499 15395 13142 13037 13158 13054 13074 13086 13419 13443 13504 14769 14749 15335 15255 15227 13146 13447 13471 14841 13920 13932 13924 15195 15143 14854 14874 14786 15163 15183 15203 14798 15155 14818 15199 15251 14878 13479 15389 16188 16189 15394 8753 13138 13130 13154 15272 15356 14341 14422 14333 14329 8042 7635 14321 15360 14886 15171 15167 14898 14890 15151 14870 15175 14794 15246 15352 13928 15223 15219 14806 14902 15215 15391 13431 13094 13427 13066 13451 15402 15390 13415 13483 13134 13463 10099 8047 13411 13122 15392 13495 15191 13018 14894 14802 15147 14398 14353 15252 14309 14375 14301 14277 4040 5647 5671 8742 2020 670 3291 2019 671 488 6754 7379 6513 4821 3343 12649 13553 13555 13426 12560 13580 13624 12243 15590 13170 17068 17114 14777 17116 17067 15187 14514 16046 15511 15512 15514 16257 14385 14379 12652 15260 15256 14450 12651 13974 13062 13082 11693 13090 17055 15419 15082 14024 14494 14478 13459 13487 13439 15416 15320 15264 15372 14430 13435 15316 13150 15081 15728 15664 15332 15385 15364 14462 14337 15656 17056 15423 14380 15300 14354 13162 15241 15368 15211 15505 11606 12482 11605 10497 14032 11364 10498 15094 12042 11176 15344 11278 14826 16138 13424 12722 11743 13528 13568 11322 12551 12292 13636 12474 14745 14410 14506 12469 13544 12280 12569 12766 16206 16182 14047 12617 12787 15254 15517 12690 12762 13107 12638 12581 12702 12589 11685 11179 10819 13096 16162 14790 15261 16210 14814 14498 11618 12597 12484 12666 14004 14297 13348 11689 16242 12220 11707 15399 13956 14285 14882 14000 15068 13423 14784 14810 15231 13936 13903 13971 15441 14037 12907 11692 13992 10499 14858 12264 14191 16170 16190 16126 12561 14349 11375 10526 11797 12557 12315 13620 13584 12241 11617 11178 11180 11616 16202 15159 11374 12304 13644 13560 16194 13525 11579 10525 12240 11798 11592 16230 16249 16248 8262 8373 11912 11788 11860 11856 11808 10215 11832 11904 11812 11030 11921 11876 11868 11002 11054 9188 10496 11038 9682 9947 9698 9702 9602 11006 10978 11840 11888 11880 11792 10573 9686 9694 10574 11836 11900 9959 9963 11916 11796 11816 11820 10950 10958 11010 11022 11050 11042 10994 9898 10460 10472 10492 9658 9185 9573 9187 10480 9666 9670 9622 9630 9614 9618 9674 9678 9979 9975 9971 9955 9967 9606 7403 2700 3566 3333 3706 3717 7419 5687 6553 8361 6537 5101 3323 5663 6529 6521 5655 6505 6144 7010 8374 7390 8366 7241 7242 7217 7398 7225 7232 7406 7414 7407 4772 7415 7399 7395 3314 7170 6833 5449 6322 6319 5438 7244 7243 7245 6642 7512 7201 7202 8382 7181 7386 7176 6630 7371 7072 7047 7024 7032 7064 7028 7016 7068 7060 7012 7020 7374 7375 7391 6755 7185 7188 6500 5444 7387 6773 8375 8282 7388 7396 8270 7404 7380 6530 6514 6146 6154 6502 6546 6162 6166 5688 6158 7011 8383 6554 5636 7416 8278 6150 6538 7412 5022 4921 7400 7408 8332 8328 8336 8254 8279 8243 17028 17008 17000 17036 15278 16117 16097 16065 16077 14355 14639 15979 15769 15450 15454 15414 15403 15411 14568 15429 15434 15449 15876 15875 15892 15884 15883 15885 15890 15891 15902 15901 15877 16037 15469 17048 17084 16081 14908 16021 16112 15915 15428 14384 14381 14383 15838 15837 14972 14971 15770 14913 14903 14914 15980 14904 14783 15269 14778 15649 13911 14781 14780 14782 14779 14774 16986 16988 14916 14752 15271 17064 16045 15646 15724 15720 15760 17117 17100 13905 14042 14923 16985 14910 15744 13059 15672 13929 13497 17066 16991 15651 16989 13039 14044 14770 13910 14775 13904 14363 15768 15736 17032 17004 17092 16017 17104 14919 14921 15503 15501 17052 15647 14915 17044 15648 15277 14906 14924 14772 13925 14905 14918 15500 15502 17088 15782 17080 16033 15688 15660 15684 15692 15771 14922 14040 15652 15676 16987 15752 15960 15756 15680 15707 15740 17020 17024 17012 7420 7091 5041 7376 8238 7392 7372 5291 5680 5656 5672 6233 5367 8246 6157 5648 6225 6145 5664 5359 5279 8823 7890 7886 7878 7894 7898 7882 9696 12237 12552 14453 12147 12151 10510 12229 14205 13883 13879 12473 12041 8851 8852 12548 10584 10583 9019 13013 13017 14214 14216 10820 10527 10439 13012 12146 12046 12721 10742 10741 10737 9871 11686 15920 15054 15919 15164 15169 15830 15836 15841 15319 15150 14832 15042 15058 15056 15057 14835 14834 15427 15426 15041 15044 14829 15703 13963 14827 13962 15706 14836 16999 14830 17111 14837 15702 15043 15424 15425 14290 15274 15910 15911 15153 15913 15909 15907 15914 15912 15158 15222 15154 15157 15275 16990 15650 17065 15218 14049 13909 13926 15220 10272 10269 13505 13507 9374 15205 14356 14364 16028 15906 16026 17046 15009 13927 13931 16032 16030 17047 14946 9377 14956 10240 10243 15213 9619 10778 9620 14417 14415 7110 7109 7120 7119 3369 6778 6797 15393 8853 10585 12317 12160 7004 7841 7858 7866 7870 7862 7874 7008 6996 7000 6975 6992 11441 7698 7701 8567 8021 7699 15435 15460 15464 15496 15499 15440 15504 8566 9432 9433 8830 15146 14280 10415 10419 10314 10309 10751 8582 9256 9257 8687 8707 8683 9553 9549 11285 10414 11280 11281 15510 14743 13877 9628 7895 9679 8761 10261 10271 10242 9627 9703 13876 9680 14279 8343 7840 8294 6974 8331 6572 8351 9704 5065 7896 6787 8519 8529 8539 13878 14744 7130 8371 8363 8367 8510 6964 8290 7424 7941 13496 16000 15998 15999 14934 15800 15193 16001 15997 15994 15996 15995 15985 15993 15823 15989 15813 15820 14944 15201 15025 15822 15811 15812 15821 14954 15209 15018 14549 14627 14613 14815 15415 15216 16159 16155 15493 15479 14891 14883 7897 7031 7949 4840 6142 6130 6134 6138 4841 6631 15781 14563 14550 6108 5351 6217 11811 8505 5375 5075 9092 11376 6126 6165 11799 6109 6807 15932 14803 15984 14966 15831 15832 14602 15465 15468 15439 15436 14573 14582 15448 15446 15968 15462 15463 15053 15847 14628 15966 15461 14599 14580 15833 15839 15810 15217 15801 15802 15803 15790 15221 14805 14614 15017 15024 14570 14955 15856 14945 15192 15988 15490 15488 15991 15485 15987 15489 16157 15422 15983 15982 15421 14105 13240 14106 13239 13448 13245 13244 14110 14111 11513 12378 14188 12379 11512 12368 11501 14100 13234 13233 11502 12367 14099 13456 13440 13238 14104 14101 14107 13243 13232 14098 14115 15194 11480 11490 12358 12357 11708 15206 15214 11163 11165 12031 12030 14885 14893 14817 5658 13682 13322 14187 13321 13249 13798 13943 13797 12932 13939 12931 13432 13204 14069 14070 13203 12819 13684 12818 13685 13083 13683 14090 14080 14068 13464 13202 12897 12896 13159 13761 12858 14078 14088 13937 13224 14089 13223 12882 13749 13748 12883 13222 12895 14079 13214 13212 13213 13480 13457 13449 13472 14314 15306 14346 15291 14338 15290 15294 14348 14340 14965 12380 12375 12356 15967 14869 14970 14975 15963 15473 15472 16163 15962 14981 15165 15181 15973 15444 15471 15442 14592 15455 14589 15961 15972 15458 14964 15971 15926 15931 15925 15928 15927 15924 15922 15929 15930 16038 14877 16034 17042 16040 16036 14572 15189 14591 15898 14581 15899 15844 15900 14601 15897 15871 15870 15918 15452 15453 15921 15977 15976 15978 15168 14112 14189 14109 12457 14091 14071 14092 14081 14093 16165 14342 14825 15190 15182 15186 14901 15451 15443 15166 17039 15170 17043 16048 16044 16164 14816 14884 11150 11149 11151 11427 12016 12017 11419 13433 7099 16161 15202 15210 14344 13473 12807 13217 12878 12808 12809 12879 13221 12894 13220 13216 13219 13218 12893 11442 14347 7083 15484 15992 15486 15986 15990 15420 15981 9949 8218 8222 6955 6951 14892 14590 14600 14543 14567 14544 14541 14539 14540 14611 14951 14626 14943 14942 14953 14610 14939 14952 14940 14949 14625 14948 14950 14941 14938 14963 14962 14968 14974 14969 14980 14961 14960 14566 14564 14930 14932 14565 14931 14933 14900 15433 14804 14876 14824 14868 15886 15894 15895 15893 15879 15878 15896 15863 15857 15849 15850 15864 10773 11062 11065 11061 11064 11059 6850 5620 8226 8230 8335 7054 7925 7912 9644 9958 8778 10824 8791 10183 8773 8765 9213 9009 10121 9083 14292 16247 7287 15457 15447 14867 14823 14875 15438 15467 14899 5555 13989 16997 15704 14838 17110 6489 15494 15495 15481 14615 14833 15480 15010 10066 8793 3029 3571 4870 3597 3570 3580 4651 3895 4442 4440 4761 5627 6613 4435 4438 4437 6496 5517 320 323 4119 1870 2728 322 330 4446 5302 6169 5303 6167 9846 6170 6717 5329 6602 4061 3896 4762 4754 3785 3888 3813 4871 6719 5326 1862 11069 12445 12443 12446 11918 10721 11917 10394 10720 10758 10811 10744 10743 10745 10193 10194 10264 10258 10278 10245 10254 10274 10253 10273 10306 10308 10305 10304 10302 10287 10301 10303 10239 10719 10230 10232 10229 10228 10715 11051 10196 10992 11066 10390 10391 10393 11857 10321 10320 10322 10808 10747 10748 11060 11063 11858 10810 11068 10392 10263 10407 10408 10244 10806 10809 10807 10746 10291 10268 10223 10227 10307 10249 10319 10222 10756 10286 10300 10231 10783 10780 10776 10247 10246 10775 10777 10248 10257 10782 10781 10256 10255 10804 10802 10784 10793 10797 10789 10769 10798 10774 10799 10800 10801 10779 10803 10805 10788 10886 11789 10733 10735 10734 10731 10729 9096 10079 10991 9328 9333 10126 9329 2284 9943 10197 9524 9895 11052 9526 9896 9945 9527 9456 9942 9894 9528 9883 9525 9893 9455 9882 10754 10755 10753 10317 10318 10316 634 6603 5331 3141 534 3599 8381 7362 7914 7044 6178 7924 7917 7066 7916 7050 7049 10181 7263 7247 7250 8790 9331 10185 9332 6490 7821 7817 7816 7352 5624 6486 6845 6089 6084 6659 5793 5223 5219 7277 7046 7059 7364 13991 14840 13990 14828 13425 13969 12259 13531 13108 11773 11775 15705 16998 14839 17109 14291 15701 10125 10127 10186 4838 13961 2729 4017 1852 3143 1858 3030 4843 12455 12456 11507 11590 11589 12374 12373 11508 12338 11472 11471 12337 12724 11925 11926 13647 11732 11470 3290 3559 4814 4425 10887 10796 10290 10795 10289 10786 10224 10785 10791 11327 12631 13177 13034 10225 10293 10792 10790 10787 10292 10226 13646 5113 7436 6995 7007 7432 6580 6579 6566 6129 6577 6950 5218 7957 7107 7877 7965 7889 7023 7973 6241 11821 11823 11694 11690 13152 13160 14330 15298 15302 14322 13210 12877 12880 12868 13207 13206 12881 13747 13211 13208 13151 13209 12817 13481 15343 13465 13701 13726 13723 12860 13707 13704 12850 13135 12848 12841 13733 12870 13736 12857 13714 12867 13716 13091 13143 13167 12838 13168 13725 13144 13092 13136 14571 14609 14612 14929 14538 14542 14928 15295 14169 13441 14153 14170 14160 14334 14145 14326 14336 13084 13938 15341 13942 13076 14302 12840 12869 13589 12791 13949 15299 15303 12835 14339 12801 12797 12607 13591 11164 12804 13713 13709 14171 14172 13722 13768 13770 13771 13769 13718 13687 13691 13694 13772 13847 13823 13852 14714 15092 14650 14651 14669 14693 14681 14717 14705 14677 14689 14685 14718 14724 13732 13728 13742 13738 13827 13831 13815 13803 13727 13737 13708 14271 13692 13693 14209 14208 14052 14059 14266 14267 14268 14270 13826 13834 13848 13853 13799 13850 13851 13810 13818 13807 13790 13839 13845 13802 13835 13849 14173 13789 14637 14635 14531 14741 14725 15064 14553 14588 14638 14721 15093 14533 15401 14633 15323 14579 14524 15321 14220 14273 14213 14195 14194 14222 13856 15383 14199 13751 14223 15322 15398 14527 14636 14594 14537 15091 14200 13765 13766 13767 13658 14219 14218 14318 14217 15381 13858 14310 14712 14660 14713 14716 15397 14523 14598 13657 15396 14722 14621 14532 14608 15078 14604 14536 15079 14584 14529 15066 14575 15065 14557 12792 12794 12793 12796 12795 14323 14207 14210 14221 14211 14226 13795 14275 14225 14197 14198 13796 14193 14224 14196 14315 12859 14307 15309 12369 11561 12426 12427 11560 13562 11737 12603 12346 11736 12602 12692 11554 11744 11553 13869 13870 13874 14272 14274 13859 14242 14243 12691 11745 14324 14320 13703 13750 14227 13717 14276 13686 14331 15297 14025 14027 14017 14026 14298 15310 14306 13764 14456 14332 13951 13781 13782 13780 13784 13783 13785 13854 15087 13857 12982 12985 12987 13408 12862 13007 12988 12989 12924 13356 12991 12821 13006 12872 12969 12983 13661 13664 13001 12906 12866 13355 12973 12852 13002 13405 13000 12900 13662 13409 12957 12984 12990 13663 12980 12889 12856 12904 12953 12905 12981 13406 12920 12941 13669 12847 13666 13660 12949 12902 13670 13004 12961 12928 12937 12986 13407 13003 14457 12945 13659 12805 12919 12903 13667 12876 12965 13665 12901 12899 12885 13318 13357 12918 12993 13319 13008 12992 13359 13410 13009 13361 14715 14535 14617 14631 14701 14632 13871 14525 14656 14528 15077 13786 13875 14719 13873 14697 13846 14212 13819 13811 14455 12825 13404 13005 14652 13358 12843 14634 14673 15088 14720 13855 15089 15090 14723 12360 12361 12359 12349 11517 11500 11511 11506 12576 12575 11085 11086 11087 11952 11953 11709 11725 11717 11351 11733 14257 14263 14262 14261 14233 14232 14237 14238 14403 15258 14265 14248 14264 14247 14269 14253 14252 14186 14404 15257 11104 11099 11339 14299 15307 14328 12339 13145 11428 11716 11700 13236 13230 13231 13248 13242 11724 12832 12834 13229 13228 13237 12574 13578 11109 11972 11975 11106 12001 12004 11125 11991 11994 11138 11135 11128 11116 11984 11982 11118 11411 11108 11359 11435 11127 11403 11117 11137 13735 13706 11420 11352 14300 14236 13731 14234 13729 13169 13093 13730 14231 13741 13740 14230 14229 13712 14239 14241 13710 14240 13711 14246 13721 14245 13696 15378 13695 15265 15379 15267 14244 11436 11360 13442 12582 12590 12566 13458 12066 12065 11200 11103 12598 12614 12293 13450 13434 12217 13085 13482 13474 12583 13153 13161 13466 12570 12571 13577 11412 12572 11404 13137 14304 14034 13957 14009 14010 13958 14316 14312 12849 15311 14308 13077 13533 13535 12839 13715 12833 13690 14251 14250 13754 14260 14259 14256 13758 14255 13756 14249 14258 14254 13689 13753 13757 12811 12812 12806 12810 13199 13201 13200 13198 13196 13197 13752 13688 14235 13719 13739 13645 13602 13534 13601 12671 12672 12320 12327 7456 7455 7453 12783 12723 11928 10187 11271 11249 11213 11248 11196 11255 11188 11192 11217 11269 11225 11252 11187 11253 11209 11273 11272 11237 11229 11186 11275 11251 11256 11250 11257 11221 11233 11270 11254 11673 11674 11675 11586 11927 11258 11672 11625 11677 11627 11587 11676 11626 11624 11260 13020 13174 13902 14058 15259 14405 14003 14002 13950 14018 14019 14011 14035 13959 3381 12219 13762 13763 12285 12615 10073 3386 6209 5118 3635 4501 3487 4357 4822 3491 4121 4352 3956 3486 4353 7063 7067 10199 10198 10202 11072 9339 9340 10203 11929 9337 10195 10201 10205 10200 8814 8762 10993 11053 9375 10123 10067 9084 8795 10474 11877 10473 11878 10475 11879 9517 9425 9438 9473 9522 9437 9435 9440 9518 9881 9361 9436 9481 9868 9357 9509 9516 9460 9439 9454 9421 9392 9402 9441 9485 9520 9493 9521 9869 9505 9341 9477 9442 9523 9383 9501 9870 9398 9497 9412 9464 9388 9408 9519 9379 9489 8743 10206 9897 9946 9545 9529 9336 9334 9335 2930 3796 11791 10288 11801 11914 11802 10716 10717 10730 10718 10732 2929 3795 1988 1983 1947 1957 1977 1968 1969 1967 5780 6506 6522 7513 7511 8838 5055 5470 5469 5298 5342 4476 4475 5056 5054 4432 5341 4485 5640 6655 5781 2253 2252 2053 13720 13755 14530 15382 14526 7599 8393 7600 7598 8394 8395 7595 7597 7596 8453 7601 8454 6781 6785 6855 7285 7272 6929 6810 6814 7246 6838 6837 6839 6841 6827 6823 6840 6730 6729 7299 8455 6944 7257 7203 7204 6799 6852 7292 6854 7294 7281 6857 7279 6853 7269 7289 7283 7282 7280 7293 7295 7240 7197 6836 6822 7196 7253 7251 7252 7268 6768 6764 6766 7267 7266 7265 6765 7254 7290 7291 6780 6789 6809 6775 6763 7298 7270 6930 6759 7271 6790 6844 6804 7296 6928 7297 6927 6794 6800 6931 6843 6842 6947 6926 6943 7258 7239 7190 7256 7236 7235 7238 7237 8405 8326 6758 7189 7226 7219 7234 7233 7218 7211 7210 8327 8325 8406 6792 7206 7205 7207 6791 6812 7199 7200 6784 7132 6811 6782 6783 6813 7133 6803 7193 6802 7123 7192 7198 7222 7213 7229 6826 6830 7228 6825 7214 7212 8588 9027 8679 8559 9025 9327 9029 8150 8160 8211 8213 8161 8123 7609 8507 8586 8584 8585 8461 8676 7769 7773 7765 7732 7811 7647 7625 7710 7709 7656 7670 7651 7676 7785 7745 6733 7588 6418 6662 6429 6419 6430 6478 6735 6732 6767 6858 6793 7191 6801 7587 8407 7255 9002 9003 8490 8497 8496 9154 9022 9078 9075 3720 3797 3041 15903 7706 7629 7703 8675 9023 7666 7791 7784 7787 7741 8151 8555 8554 8569 8568 8570 8137 8162 8138 8541 8573 8462 8163 8159 8136 8517 8531 8491 8526 8532 9080 9079 8521 8575 8574 9077 8536 8522 8660 8989 7705 8208 7761 8209 9068 9037 9061 9057 8498 9056 9047 9067 8984 9017 9015 9004 7689 8662 9072 9071 8493 9046 9073 9042 9070 9069 8935 9074 7680 8987 7789 8658 8663 9330 8546 8513 8512 9024 9021 8985 8500 8499 10070 8986 9319 8988 8587 8983 7660 8589 7708 8164 7749 8122 7704 7809 9030 9001 7693 7707 7804 8464 7805 7790 8210 8149 7813 8534 8214 9039 9044 8165 7221 6829 6969 7428 8805 6643 7227 6856 7284 7220 9156 4790 8970 8968 8969 8971 8958 8954 8990 8972 8967 8965 8936 8561 8928 8950 8951 8929 8558 8494 8953 8562 8952 8560 8556 7806 7757 7786 9321 7810 7808 9155 8959 7753 7807 7728 7812 7788 7777 9320 8212 4782 6824 6762 6760 6761 6428 6476 6477 6390 6481 6391 6479 6417 5877 5682 6663 7589 6946 6739 6734 6731 6742 6482 6433 5684 3111 2665 3102 5539 5538 5043 5036 5537 5035 5034 5534 5536 5535 5533 5068 5072 5095 5067 5078 5091 5077 5540 5613 5031 5611 5110 5111 5564 5610 5563 5112 5561 5562 6661 5560 5567 5199 5215 5525 5615 5125 5565 5124 10059 5700 4360 4834 2175 8465 8474 8467 7602 8463 7603 1980 5057 4998 4997 5214 6723 5120 5559 5557 5558 5212 5612 5211 5026 5032 5033 6605 7607 6575 6573 6570 8468 7604 8469 8466 8471 8473 8470 7605 7608 7527 6737 6738 3505 2628 6736 5553 5616 5049 5566 5547 5548 5123 5550 5122 5194 5195 5197 5126 5121 2664 3100 5789 3940 4493 4806 3627 3948 4898 5856 5001 5343 5299 3916 3619 3924 3643 1944 3074 2693 2620 3022 5090 5105 5107 5104 5106 5552 5062 5196 5864 5863 5865 6722 5048 5058 5082 5551 5198 5109 5108 5053 5549 5867 5660 5046 6077 6074 6075 6076 6595 6593 3065 6675 6674 5614 5526 5514 5513 5512 5768 5499 5498 6079 5297 4922 2183 651 3049 3824 3822 5857 5996 6059 6017 6009 6037 6025 6033 6052 6053 6056 6057 6058 6055 6013 6045 6054 6041 6021 6029 5872 5866 4999 3931 3915 5002 5003 3823 5769 5007 5010 5869 5868 5870 5871 5873 6072 5961 5924 5973 5978 5974 6721 5944 5975 5977 6078 5971 5919 5972 5976 5938 5465 5507 5508 5464 5500 5493 5509 5511 5510 5483 5772 5485 5484 5462 5784 5463 5785 4902 4187 4331 4260 4700 4206 4330 4245 4259 4686 4244 4212 4145 4685 4242 4202 4243 4239 4246 4687 4225 4229 4161 4192 4328 4698 4165 4240 4659 4658 5795 4340 5797 4696 4341 4344 4697 4241 4183 4329 4216 4196 4346 4345 5005 4135 4745 5004 4747 4342 5006 5009 5000 4749 4746 4744 4343 4132 5773 2034 2035 503 2211 679 4914 3779 4413 4798 4774 3780 3781 3782 3926 3777 4910 3761 3768 3942 3751 3752 3918 4918 4911 3932 3928 4137 4133 4929 4136 4131 4989 4134 4990 4141 3374 3359 3363 3373 3299 3295 3330 3317 3321 3326 4930 3829 3830 3820 3828 3879 3878 3819 3832 3881 3821 3336 3340 3377 3350 3375 3346 3376 3380 3379 3378 3805 3793 3831 3325 3316 3391 3880 3834 3792 3390 3389 3825 3827 3826 3791 3883 3464 3789 3787 3790 3801 3802 3804 3803 3788 3393 3462 3394 3465 3479 3480 4139 4140 4138 3808 3807 4143 4144 4333 4348 4349 4991 4931 4701 4750 3392 3463 3311 3466 3877 3301 3302 3300 3304 3303 5608 5609 5461 5460 5069 5071 5459 5471 5472 5506 5050 5466 5467 5052 5468 3904 3882 3372 3294 3335 3345 3818 3876 3850 3875 3856 3855 3851 4982 4983 3309 5478 5479 5505 5503 5504 5502 5501 4433 3854 3329 3319 3320 3849 3318 3852 3847 3848 3794 3773 3774 3747 3746 4861 3853 3349 3338 3844 3843 3842 4923 5915 5934 5948 5957 5897 6741 5928 5893 5494 4509 3567 5070 5051 5486 5487 3327 5602 5603 5601 5604 5606 5607 5605 5593 5592 5597 5583 5582 5578 6673 5573 5577 5457 6594 5572 5458 5059 5061 5475 5473 5474 5569 5079 5587 5588 5570 5571 5081 5060 5080 3840 3845 3846 3873 3874 3775 3776 3339 3337 3806 4862 7529 5875 3547 4477 5489 5490 5098 3871 3872 3865 3870 3770 3771 3861 3769 3772 3755 3860 3361 3866 3864 3867 3365 3366 3868 3754 3733 3362 3862 3725 3726 3360 9848 9957 11241 6828 13794 5096 5097 5488 5092 5029 5589 5028 5030 5590 5591 3297 3749 3748 3296 3298 3863 3364 5599 5600 5598 5093 3732 3837 3841 3762 3839 3838 3348 3145 1582 3347 3753 3750 558 3910 3778 3950 3328 3740 3739 3920 4915 4041 3944 4899 4903 3952 1623 1559 8515 8943 8942 8999 8998 9000 8921 8997 8524 9049 8523 8514 9041 9036 9043 8516 9045 9051 9050 8525 9052 9066 9065 8533 8535 9038 9028 9076 8571 8542 8590 8495 8661 9026 8572 8492 9014 8966 8922 9040 8659 8576 3147 3146 5094 3483 3467 3884 3835 3388 3833 3869 2102 2100 2148 2151 2149 2089 2145 2061 1648 1594 2144 1584 1604 1598 1585 2142 1631 1640 1642 1626 1627 1641 1614 1567 1613 1644 1589 1645 2146 1579 1643 2059 2143 1647 2058 1646 1568 1593 2096 2055 1570 1563 1608 1562 2060 1733 2147 2099 1618 1732 2056 1569 2057 2098 2094 2092 2097 2050 2093 2095 2090 2150 2141 1954 2139 2140 2133 3258 1572 1571 1991 1591 1577 1637 2761 2681 3082 3169 3189 2071 2101 3257 2076 2072 2406 2070 2408 2069 2407 2068 2073 2066 3912 4919 6081 6080 5876 1974 1601 1611 6432 6073 6000 10275 10766 10767 10765 10277 10276 10771 10267 10772 10266 10265 10770 4863 2075 2065 10069 9048 9055 9054 9034 8544 8543 9033 8545 9053 9031 9035 8960 8557 9016 8678 8961 10071 2118 2119 2138 2137 2128 2129 2124 2123 2113 2114 2108 2109 2043 2044 2048 2045 2047 2046 3130 2049 2062 2039 2038 2023 2022 2021 2036 2037 2040 2041 2042 2074 2029 2218 3166 2030 1734 3129 2014 2007 2008 2015 1617 1615 1937 1994 2001 1927 1993 2122 1596 1597 1628 1634 2132 2131 1564 1565 1566 1632 1633 2018 2017 1995 2130 1595 2120 1630 1629 1616 2033 2032 2031 3171 11067 10294 11790 11205 1586 2115 2016 1936 2117 1996 1607 1997 1605 1606 1588 2116 1587 15516 15587 13102 13103 15506 14640 15513 2121 568 557 569 619 2411 617 616 1603 6085 3482 5027 3358 2000 14033 14001 9950 9954 8682 9548 10219 10757 12624 9689 13603 13527 12165 12170 11286 12673 12326 13490 12191 12683 12685 12203 12632 13036 13599 12195 13498 13508 13061 10888 10438 11795 7861 8302 8727 10083 9164 10034 9593 8304 8305 8307 10428 8735 10044 11304 11867 10459 10043 10041 11329 11758 11766 10471 11325 9168 10900 11776 11807 8298 8312 10951 8311 8309 10953 11915 11288 10794 10812 10395 10411 10604 11919 11859 8763 9621 9998 10005 9697 10237 10410 9609 10006 10014 8831 8755 11913 8807 8839 8815 9681 9629 9705 11803 11071 11623 11261 11629 11073 11932 11277 11937 11938 12725 11933 12785 11678 11276 11935 11934 11930 11931 12010 11995 12000 11996 11961 11964 11959 12023 12019 11960 11962 12035 12451 11955 11963 12541 11954 11986 11990 12034 12033 12124 12468 12481 12494 12038 11976 11977 12005 12006 11981 11971 12036 12037 12492 13590 12126 12798 12800 12127 13649 13651 12143 12040 12493 12139 12487 12125 12543 12485 12488 12486 12475 12140 12540 12490 12489 12491 12538 12539 12453 11970 11965 12436 12381 11518 12384 11515 12419 12420 12591 12567 12210 12452 13521 11340 11696 12803 11344 12600 11734 12599 12294 12295 12372 12366 12466 12439 12433 12018 12397 11532 12398 11531 12049 12053 12048 12051 12122 12054 12123 12050 12052 12032 12537 12536 12535 12506 12510 12500 12505 12501 11712 12392 12393 12399 12404 12405 11539 11720 12142 12442 12533 11713 11697 11721 12516 12515 12430 12495 12437 11538 12525 12532 12531 12530 12520 12521 12529 12421 12428 12218 11701 11950 13941 15342 12209 12270 12277 12225 12301 13075 11343 12544 12377 11989 12009 12329 12328 12008 12319 12449 12450 12448 12447 12007 11998 12388 11997 11999 12389 12387 11978 12395 12394 12396 11980 11979 12465 11988 12403 12402 12401 11987 12608 12523 12026 12025 12522 12424 12020 12425 12423 13523 11985 13650 12431 12432 12039 12415 12400 12479 12480 12476 12477 12478 12467 12385 12511 12534 12406 12407 12440 12386 12454 12434 12441 12438 12435 12799 13522 12429 12414 12422 12542 12269 12278 12015 12029 12302 12226 13579 13561 13563 12383 11345 12211 12286 12336 11958 12410 11956 12409 12408 11957 11951 11505 11498 11510 11504 11496 11497 11516 12022 12021 12024 12524 11499 11079 11969 11100 11102 11974 12003 11983 11993 11341 10553 11199 10485 10561 10545 10569 10493 10554 10562 10494 10486 10546 10570 11413 12584 12568 12592 12693 12287 11710 11718 11702 11726 12616 12604 11698 11714 11722 10547 12271 12279 12303 12227 11074 11078 11126 11080 11147 11146 11136 11468 11469 11466 11479 11476 11478 11077 11075 11076 11467 11101 11464 11477 11465 11161 11162 11488 11485 11484 11475 11145 11148 11474 11489 11487 11486 11107 10487 11353 11738 11429 11421 10555 10563 11746 11437 10571 10495 11405 11361 3066 2745 1654 3026 2291 1649 3058 2701 3038 3179 3050 1558 3090 2769 2753 2081 3183 3191 2777 1779 1796 1790 3167 2332 2331 2398 2397 3259 3131 1795 3211 1540 1535 1543 1538 1533 1537 1542 1539 1545 265 433 702 443 236 1534 1731 109 110 111 112 113 62 66 76 82 86 72 114 1536 35 116 115 57 53 1133 814 1120 1181 1136 1129 1176 1174 801 1128 1138 1158 1126 1125 1124 1122 1121 826 830 1362 1486 1358 834 1132 1130 1116 1113 1137 806 802 1522 810 1112 1490 1118 730 1142 1134 14 1106 1180 1114 1178 1177 1074 798 799 1160 1161 1162 1164 1165 1166 1096 1414 1117 863 1108 1182 1346 822 1366 790 1466 818 1102 738 1081 1144 1141 734 1 1097 2 3 4 5 6 7 8 10 754 1082 1086 1088 1089 1094 862 1078 1402 1077 1338 1330 1334 1482 1326 1518 1322 1494 1150 1149 1318 1374 1434 1283 1525 1422 1405 1462 1370 1098 1100 1101 11 13 1080 750 1085 1084 746 838 1093 794 1418 1523 1426 1342 1076 1092 1090 1354 1470 842 846 850 854 1350 858 859 861 1314 1474 786 1284 1310 1306 1302 1286 1285 1290 1234 1288 1206 1237 1277 1276 1532 1221 1260 1438 1430 1148 1458 1454 1498 1382 1254 1146 1200 1386 1225 1514 1296 1232 1406 1410 1244 1245 1298 1297 1478 1398 1450 1502 1390 1506 1394 1281 1278 1280 1294 1273 1446 1403 1526 1258 1292 1208 1510 1152 1530 1442 1531 1274 1201 1293 1378 1213 1214 1248 1216 1246 1217 1224 1252 1236 778 1209 1256 1230 1268 1269 1153 1154 1156 1157 1272 1202 1242 1218 1109 770 766 1186 1188 1189 1192 1193 1194 1196 1197 1198 1249 1212 1233 1226 1250 1238 1222 1210 1190 782 774 1253 1229 1228 1257 1270 1204 1266 1265 1264 1205 1262 1261 1289 1170 1168 1241 1169 1240 1220 1110 758 1105 742 1184 762 1104 1185 1140 1172 1173 1145 692 283 775 288 268 2221 2224 2188 2256 2255 693 696 697 1299 680 1459 677 676 2193 2192 2189 1375 1431 1433 757 749 1447 1439 1441 1461 2233 2374 203 2169 222 1896 363 364 1895 2251 2232 200 201 1880 376 1471 2241 833 1381 2216 689 1451 729 1804 2229 223 847 831 829 827 825 823 1387 779 1423 777 2302 795 797 1411 1323 1425 2370 371 372 379 380 1379 1413 673 839 805 1367 1337 665 668 669 672 1353 1359 1778 661 1799 1812 1884 296 656 685 705 717 264 2228 106 167 2298 813 811 163 231 229 228 227 1820 2220 2212 2209 2161 303 809 1800 2172 272 58 2270 1887 845 843 841 2201 2200 2197 331 267 48 2261 2274 2278 2310 263 1343 1301 1315 765 1335 1325 849 1345 767 769 2177 284 2152 2153 2165 276 295 640 2104 2103 2176 2213 2184 2306 332 336 340 344 1912 2246 2173 292 348 347 356 1900 2217 2156 719 718 1377 1361 368 1888 218 219 637 636 657 1489 1487 641 1868 1824 1827 1828 807 781 621 1832 1453 789 787 1351 793 791 1879 67 2294 1816 300 1815 2237 2236 214 215 217 2350 2290 2286 2285 2282 1908 2196 280 1911 319 360 755 1397 815 1395 1509 1851 1863 1864 399 397 1369 625 629 1497 1495 1473 684 171 304 715 714 709 2181 633 681 1317 2225 2157 1449 704 701 1811 1808 1751 1754 1755 386 352 1904 724 454 1759 653 652 1479 1481 649 645 413 1836 1835 817 134 138 183 147 151 155 159 1903 355 2208 2205 246 247 1735 1389 2185 572 1507 2326 2394 2390 2386 2382 2378 1892 197 199 620 2366 2362 15 2358 2354 2266 92 2262 95 99 175 179 487 1876 1872 1499 1501 190 191 192 193 194 195 196 2346 2342 2338 2334 2333 28 2330 31 1546 2322 2318 2314 2396 2395 1515 544 543  0
1332.72/1332.75	
1332.72/1332.75	c Core has size 8801

OK	8801

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3501540-1308042366/watcher-3501540-1308042366 -o /tmp/evaluation-result-3501540-1308042366/solver-3501540-1308042366 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501540-1308042366.gcnf 

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: 4.00 3.98 2.50 4/189 9641
/proc/meminfo: memFree=30786544/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=13772 CPUtime=0 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 937 0 0 0 0 0 0 0 25 0 1 0 915836354 14102528 697 33554432000 4194304 4365125 140734598081184 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 3443 697 253 42 0 591 0

[startup+0.102751 s]
/proc/loadavg: 4.00 3.98 2.50 4/189 9641
/proc/meminfo: memFree=30786544/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=17104 CPUtime=0.09 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2789 0 0 0 9 0 0 0 25 0 1 0 915836354 17514496 1440 33554432000 4194304 4365125 140734598081184 18446744073709551615 4257313 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 4276 1440 262 42 0 1424 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17104

[startup+0.200729 s]
/proc/loadavg: 4.00 3.98 2.50 4/189 9641
/proc/meminfo: memFree=30786544/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=19144 CPUtime=0.19 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 3761 0 0 0 19 0 0 0 25 0 1 0 915836354 19603456 1873 33554432000 4194304 4365125 140734598081184 18446744073709551615 4257447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 4786 1873 262 42 0 1934 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19144

[startup+0.300714 s]
/proc/loadavg: 4.00 3.98 2.50 4/189 9641
/proc/meminfo: memFree=30786544/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=20164 CPUtime=0.29 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 4712 0 0 0 29 0 0 0 25 0 1 0 915836354 20647936 2096 33554432000 4194304 4365125 140734598081184 18446744073709551615 4250278 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 5041 2096 262 42 0 2189 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20164

[startup+0.700643 s]
/proc/loadavg: 4.00 3.98 2.50 4/189 9641
/proc/meminfo: memFree=30786544/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=24000 CPUtime=0.69 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 8682 0 0 0 68 1 0 0 25 0 1 0 915836354 24576000 3137 33554432000 4194304 4365125 140734598081184 18446744073709551615 4249760 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 6000 3137 262 42 0 3148 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24000

[startup+1.50045 s]
/proc/loadavg: 4.00 3.98 2.50 5/190 9642
/proc/meminfo: memFree=30814832/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=32640 CPUtime=1.49 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 16948 0 0 0 147 2 0 0 25 0 1 0 915836354 33423360 5135 33554432000 4194304 4365125 140734598081184 18446744073709551615 4264062 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 8160 5135 262 42 0 5308 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32640

[startup+3.10027 s]
/proc/loadavg: 4.00 3.98 2.50 5/190 9642
/proc/meminfo: memFree=30798340/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=52108 CPUtime=3.09 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 32424 0 0 0 306 3 0 0 25 0 1 0 915836354 53358592 8033 33554432000 4194304 4365125 140734598081184 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 13027 8033 262 42 0 10175 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52108

[startup+6.30067 s]
/proc/loadavg: 4.00 3.98 2.51 5/190 9643
/proc/meminfo: memFree=30774392/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=109760 CPUtime=6.29 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 74899 0 0 0 622 7 0 0 25 0 1 0 915836354 112394240 19428 33554432000 4194304 4365125 140734598081184 18446744073709551615 4250097 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 27440 19428 262 42 0 24588 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109760

[startup+12.7005 s]
/proc/loadavg: 4.00 3.98 2.52 5/190 9643
/proc/meminfo: memFree=30744732/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=110776 CPUtime=12.69 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 79416 0 0 0 1261 8 0 0 25 0 1 0 915836354 113434624 21446 33554432000 4194304 4365125 140734598081184 18446744073709551615 4250360 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 27694 21446 262 42 0 24842 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110776

[startup+25.5003 s]
/proc/loadavg: 4.00 3.98 2.54 5/190 9643
/proc/meminfo: memFree=30689048/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=167036 CPUtime=25.49 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 123198 0 0 0 2536 13 0 0 25 0 1 0 915836354 171044864 34850 33554432000 4194304 4365125 140734598081184 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 41759 34850 262 42 0 38907 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 167036

[startup+51.1007 s]
/proc/loadavg: 4.00 3.98 2.58 5/190 9644
/proc/meminfo: memFree=30554080/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=333292 CPUtime=51.09 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 317221 0 0 0 5076 33 0 0 25 0 1 0 915836354 341291008 77133 33554432000 4194304 4365125 140734598081184 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 83323 77133 264 42 0 80471 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 333292

[startup+102.301 s]
/proc/loadavg: 4.00 3.98 2.65 5/190 9645
/proc/meminfo: memFree=30253580/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=698628 CPUtime=102.3 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 756465 0 0 0 10149 81 0 0 25 0 1 0 915836354 715395072 133249 33554432000 4194304 4365125 140734598081184 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 174657 133249 264 42 0 171805 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 698628

[startup+162.301 s]
/proc/loadavg: 4.10 4.02 2.74 5/190 9647
/proc/meminfo: memFree=30163400/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=684292 CPUtime=162.3 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 1127234 0 0 0 16110 120 0 0 25 0 1 0 915836354 700715008 154586 33554432000 4194304 4365125 140734598081184 18446744073709551615 4250159 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 171073 154586 264 42 0 168221 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 684292

[startup+222.306 s]
/proc/loadavg: 4.07 4.03 2.82 5/190 9648
/proc/meminfo: memFree=30041088/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=965172 CPUtime=222.3 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 1382374 0 0 0 22083 147 0 0 25 0 1 0 915836354 988336128 173733 33554432000 4194304 4365125 140734598081184 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 241293 173733 264 42 0 238441 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 965172

[startup+282.301 s]
/proc/loadavg: 4.02 4.02 2.89 5/190 9650
/proc/meminfo: memFree=30043888/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=979504 CPUtime=282.3 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 1608597 0 0 0 28057 173 0 0 25 0 1 0 915836354 1003012096 175594 33554432000 4194304 4365125 140734598081184 18446744073709551615 4242848 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 244876 175594 264 42 0 242024 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 979504

[startup+342.3 s]
/proc/loadavg: 4.01 4.01 2.96 5/190 9652
/proc/meminfo: memFree=29991512/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=979504 CPUtime=342.3 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 1844814 0 0 0 34029 201 0 0 25 0 1 0 915836354 1003012096 175595 33554432000 4194304 4365125 140734598081184 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 244876 175595 264 42 0 242024 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 979504

[startup+402.301 s]
/proc/loadavg: 4.00 4.01 3.02 5/190 9653
/proc/meminfo: memFree=29961324/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=987696 CPUtime=402.3 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 1845810 0 0 0 40029 201 0 0 25 0 1 0 915836354 1011400704 176591 33554432000 4194304 4365125 140734598081184 18446744073709551615 4261012 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 246924 176591 264 42 0 244072 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 987696

[startup+462.301 s]
/proc/loadavg: 3.92 3.99 3.08 4/184 9679
/proc/meminfo: memFree=30229948/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=954932 CPUtime=462.3 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 1859431 0 0 0 46027 203 0 0 25 0 1 0 915836354 977850368 172511 33554432000 4194304 4365125 140734598081184 18446744073709551615 4244666 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 238733 172511 264 42 0 235881 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 954932

[startup+522.301 s]
/proc/loadavg: 3.34 3.80 3.07 4/184 9680
/proc/meminfo: memFree=30217384/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=967220 CPUtime=522.3 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2025809 0 0 0 52007 223 0 0 25 0 1 0 915836354 990433280 173798 33554432000 4194304 4365125 140734598081184 18446744073709551615 4262621 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 241805 173798 264 42 0 238953 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 967220

[startup+582.301 s]
/proc/loadavg: 3.12 3.65 3.06 4/184 9682
/proc/meminfo: memFree=30180872/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=993840 CPUtime=582.3 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2129093 0 0 0 57995 235 0 0 25 0 1 0 915836354 1017692160 177107 33554432000 4194304 4365125 140734598081184 18446744073709551615 4262570 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 248460 177107 264 42 0 245608 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 993840

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=30516216/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=993840 CPUtime=762.31 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2270381 0 0 0 75978 253 0 0 25 0 1 0 915836354 1017692160 177107 33554432000 4194304 4365125 140734598081184 18446744073709551615 4264072 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 248460 177107 264 42 0 245608 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 993840

[startup+822.3 s]
/proc/loadavg: 2.03 2.76 2.83 3/178 9712
/proc/meminfo: memFree=30490492/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=822.31 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2327661 0 0 0 81972 259 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4316447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 981552

[startup+882.307 s]
/proc/loadavg: 2.01 2.62 2.77 3/178 9714
/proc/meminfo: memFree=30510148/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=975408 CPUtime=882.32 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2373922 0 0 0 87967 265 0 0 25 0 1 0 915836354 998817792 174794 33554432000 4194304 4365125 140734598081184 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 243852 174794 264 42 0 241000 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 975408

[startup+942.3 s]
/proc/loadavg: 2.00 2.50 2.72 3/178 9716
/proc/meminfo: memFree=30493972/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=993840 CPUtime=942.32 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2376235 0 0 0 93966 266 0 0 25 0 1 0 915836354 1017692160 177107 33554432000 4194304 4365125 140734598081184 18446744073709551615 4275978 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 248460 177107 264 42 0 245608 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 993840

[startup+1002.3 s]
/proc/loadavg: 2.00 2.41 2.67 3/178 9717
/proc/meminfo: memFree=30500244/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1002.31 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2380572 0 0 0 99965 266 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 981552

[startup+1062.3 s]
/proc/loadavg: 2.00 2.33 2.63 3/178 9719
/proc/meminfo: memFree=30491892/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=950836 CPUtime=1062.32 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2382628 0 0 0 105965 267 0 0 25 0 1 0 915836354 973656064 171742 33554432000 4194304 4365125 140734598081184 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 237709 171742 264 42 0 234857 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 950836

[startup+1122.3 s]
/proc/loadavg: 1.47 2.13 2.54 2/172 9744
/proc/meminfo: memFree=30881456/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1122.32 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 111964 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4267819 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 981552

[startup+1182.3 s]
/proc/loadavg: 1.17 1.92 2.44 2/172 9746
/proc/meminfo: memFree=30881664/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1182.32 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 117964 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4250128 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 981552

[startup+1242.3 s]
/proc/loadavg: 1.06 1.75 2.35 2/172 9748
/proc/meminfo: memFree=30881484/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1242.32 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 123964 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4249855 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 981552

[startup+1302.3 s]
/proc/loadavg: 1.02 1.61 2.26 2/172 9749
/proc/meminfo: memFree=30881436/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1302.32 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 129964 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4262125 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 981552

Solver just ended. Dumping a history of the last processes samples

[startup+1305.6 s]
/proc/loadavg: 1.02 1.60 2.25 2/172 9749
/proc/meminfo: memFree=30881436/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1305.62 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 130294 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1305.62
Current children cumulated vsize (KiB) 981552

[startup+1318.4 s]
/proc/loadavg: 1.01 1.57 2.23 2/172 9750
/proc/meminfo: memFree=30881408/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1318.42 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 131574 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1318.42
Current children cumulated vsize (KiB) 981552

[startup+1324.8 s]
/proc/loadavg: 1.01 1.56 2.22 2/172 9750
/proc/meminfo: memFree=30881408/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1324.82 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 132214 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1324.82
Current children cumulated vsize (KiB) 981552

[startup+1328 s]
/proc/loadavg: 1.01 1.55 2.22 2/172 9750
/proc/meminfo: memFree=30881284/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1328.02 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 132534 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1328.02
Current children cumulated vsize (KiB) 981552

[startup+1331.2 s]
/proc/loadavg: 1.01 1.55 2.22 2/172 9750
/proc/meminfo: memFree=30881284/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1331.22 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 132854 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1331.22
Current children cumulated vsize (KiB) 981552

[startup+1332 s]
/proc/loadavg: 1.01 1.55 2.22 2/172 9750
/proc/meminfo: memFree=30881284/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1332.02 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 132934 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4242785 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1332.02
Current children cumulated vsize (KiB) 981552

[startup+1332.4 s]
/proc/loadavg: 1.01 1.55 2.22 2/172 9750
/proc/meminfo: memFree=30881284/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1332.42 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 132974 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1332.42
Current children cumulated vsize (KiB) 981552

[startup+1332.6 s]
/proc/loadavg: 1.01 1.55 2.22 2/172 9750
/proc/meminfo: memFree=30881284/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1332.62 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 132994 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1332.62
Current children cumulated vsize (KiB) 981552

[startup+1332.7 s]
/proc/loadavg: 1.01 1.55 2.22 2/172 9750
/proc/meminfo: memFree=30881284/32950928 swapFree=67055160/67111528
[pid=9641] ppid=9639 vsize=981552 CPUtime=1332.72 cores=4,6
/proc/9641/stat : 9641 (MoUsSaka) R 9639 9641 9028 0 -1 4202496 2386451 0 0 0 133004 268 0 0 25 0 1 0 915836354 1005109248 175565 33554432000 4194304 4365125 140734598081184 18446744073709551615 4263861 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9641/statm: 245388 175565 264 42 0 242536 0
Current children cumulated CPU time (s) 1332.72
Current children cumulated vsize (KiB) 981552

Child status: 20
Real time (s): 1332.78
CPU time (s): 1332.81
CPU user time (s): 1330.1
CPU system time (s): 2.71459
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1576056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1330.1
system time used= 2.71459
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2386456
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= 1853

runsolver used 2.10168 second user time and 4.48432 second system time

The end

Begin job on node123 at 2011-06-14 11:06:06
IDJOB=3501540
IDBENCH=90086
IDSOLVER=2000
FILE ID=node123/3501540-1308042366
RUNJOBID= node123-1308041932-9047
PBS_JOBID= 13564703
Free space on /tmp= 74128 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/intel005.aig.k20.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501540-1308042366/watcher-3501540-1308042366 -o /tmp/evaluation-result-3501540-1308042366/solver-3501540-1308042366 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3501540-1308042366.gcnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= a2d49a929247da0fe11b8e9d03469ca1
RANDOM SEED=1476787851

node123.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.838
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.67
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.838
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.838
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.75
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.838
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.82
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.838
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.838
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.80
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.838
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.838
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30786716 kB
Buffers:        199968 kB
Cached:         931080 kB
SwapCached:      10116 kB
Active:        1111060 kB
Inactive:       824700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30786716 kB
SwapTotal:    67111528 kB
SwapFree:     67055160 kB
Dirty:            1508 kB
Writeback:           0 kB
AnonPages:      802008 kB
Mapped:          13428 kB
Slab:           160616 kB
PageTables:       6792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1132588 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= 74136 MiB
End job on node123 at 2011-06-14 11:28:18