0.00/0.00	c MoUsSaka vegetarian
14.89/14.94	
14.89/14.94	s UNSATISFIABLE
1145.14/1145.17	c Core is minimal
1145.14/1145.17	
1145.14/1145.17	v 743 1152 3327 3654 6414 639 7041 4189 305 6878 5695 2653 6637 6038 5489 1331 1596 4802 5167 2307 963 985 1799 3288 6465 3175 4610 5920 5157 978 1883 6739 2091 565 5334 6172 6518 4141 4808 638 3584 205 3195 4735 2682 818 2134 4072 5989 495 251 2187 125 6652 7039 3796 4820 2343 6411 1655 2079 6165 201 509 1019 1973 6215 3369 1838 2864 3140 5585 63 2086 5542 4025 5138 76 4066 317 5742 1099 2006 1852 618 3309 669 5291 2586 4598 4361 3253 3734 207 5982 4645 356 2246 3403 152 6723 5806 3314 6814 1015 5505 1342 2896 3506 3685 2739 3142 5630 264 4085 4155 6200 3281 2589 2062 2672 1921 3218 439 761 2104 2409 2410 2380 1449 6903 894 335 3613 273 6826 925 1213 1675 2601 1317 2840 2290 1582 1287 4871 1853 5236 810 6027 1073 5620 5010 5286 4817 3205 3383 1032 5739 1021 3901 7020 785 1034 533 5045 5211 5230 5469 6121 2970 4442 5493 121 3488 3273 3817 2576 4250 6362 3698 5865 1822 1690 2493 5359 3004 1025 2318 5683 3326 4677 2016 1865 3071 4654 5368 6204 3360 4887 6954 6594 2709 5601 1425 3291 896 1885 4431 5484 3723 5248 3215 6140 4777 5332 4299 3013 6937 6768 1518 6302 6851 1887 1986 6246 714 3047 2800 3827 2396 3738 234 5134 6842 5657 6013 6516 2753 721 6925 6210 4545 6217 3515 6729 6230 3971 6218 5313 4892 2779 571 333 3130 1577 1013 3614 1411 5843 4410 1082 2560 4449 6496 4542 3006 3510 919 3546 2829 2765 3384 2442 1772 568 4720 1864 3735 6763 6065 1062 2867 3307 6191 2196 3341 646 4378 2716 2858 4712 874 3214 2476 2969 1117 3533 1147 7035 1699 2646 4810 6650 6747 6053 3586 4091 4942 1011 3446 950 4100 6330 2857 2146 6713 5395 6813 5013 2732 2093 1940 194 6519 744 6472 378 3786 720 3086 347 4860 4065 917 6048 3008 5560 5119 5488 3343 1683 4416 1090 687 1895 4324 1309 656 2314 4412 6158 7 7115 2587 435 6560 1051 2162 3856 2881 5893 4194 3810 4375 4312 301 1438 5239 6841 490 4114 6351 5180 5939 130 3353 6906 1390 4390 2719 4202 4617 7097 652 6401 2291 5938 1717 4197 941 4368 4448 1738 3474 5165 4648 6221 5791 5890 1899 1210 2831 1884 7017 5107 1918 13 2930 1530 5851 5697 5290 1961 5978 5782 5079 4601 6120 4477 4268 4582 884 1180 4445 5147 1949 5085 3503 2713 1184 1516 3806 1623 4190 2665 3916 3223 6338 4133 5246 4789 5790 3232 2235 6416 4563 6820 171 3193 5943 5342 2775 1705 773 4013 2875 1790 3377 4145 6695 2088 3265 1444 4150 612 4057 1115 1033 542 6807 6574 5826 3492 3600 1956 1181 4516 3296 4552 4935 3380 5249 74 2993 899 131 5383 6045 2918 3725 3242 275 3183 555 4294 3721 4580 315 6764 2118 1479 6537 1594 6888 5504 6901 4464 6588 628 4332 2267 4356 247 6860 376 952 5350 5758 593 6459 5951 2933 6424 5371 4766 6192 6930 5375 4633 1169 4736 5348 6225 1060 6052 6422 6949 3731 6452 583 6291 3852 4662 3110 2145 1063 2116 4007 5188 6548 2224 3809 1406 4867 1036 2835 1510 423 6328 6692 7014 4609 4564 2102 2251 1041 2155 231 4454 5882 3453 4950 1326 3199 90 3871 1552 6375 396 7080 5854 2298 1307 180 2964 4974 1629 2319 4835 904 447 6037 4181 7018 6255 4911 2215 6290 5633 127 1729 5274 1251 4482 2444 4215 4522 5168 243 1502 5603 5825 3842 4872 1952 4251 1861 41 2862 1732 829 4179 3609 2335 32 1422 4206 840 4898 3583 3196 5677 2480 2231 4360 3180 5910 5223 6279 2532 5518 693 2632 6558 2747 1926 5793 1707 4821 4874 5015 2967 6968 1665 4567 1967 5917 3125 4094 1012 3469 5671 3771 7019 1047 538 5115 1173 6799 1919 1503 2107 2361 174 2404 5515 827 3886 3312 5679 696 4052 2629 3851 6863 6433 4182 2143 733 3127 4177 3767 830 1170 2001 6098 215 436 3674 2288 1560 321 5024 1454 2228 4521 4474 1497 5268 1332 5589 4784 1934 5812 2535 310 7117 5995 7081 6997 6533 2776 4661 10 3229 4483 18 936 2019 1561 2891 5480 2283 2638 485 3966 2323 4536 5365 4337 2436 2644 2899 6267 5496 5908 393 3248 1362 3355 6309 5604 4895 3659 2351 5708 1076 3430 624 6047 4983 5808 1048 800 1754 3146 3915 484 6953 6777 1392 1507 3902 4992 4033 2602 4109 4670 5062 1662 4478 3454 4936 3561 3226 4278 5036 6288 718 1539 5595 4550 1721 4073 5293 2031 2580 3593 3694 6828 5301 2180 3394 4115 3719 1220 2015 7009 4105 3979 1492 2943 1107 2387 6884 5178 5402 5080 6918 5412 1232 960 5792 4908 2345 3867 1782 400 2366 3203 4719 4842 292 2623 3755 5063 6982 3758 1977 27 3983 5392 1608 4342 2606 6639 6337 3953 3437 1131 2274 726 1923 2229 1183 1292 4315 5623 5914 5149 1517 1218 961 4113 6241 3848 1385 3655 4652 6687 2011 5948 2929 3247 5926 6704 3967 5532 4076 6307 4122 3549 1558 442 5717 2197 6385 4460 6455 1737 549 4675 6339 6202 6105 2375 6228 3959 2702 249 229 1687 1783 1954 1795 2100 2548 541 3818 5584 2287 5744 2179 2198 5339 1314 5228 2321 3344 1689 5610 5750 4910 1910 6243 2498 5376 2692 2144 1229 5841 330 6397 3349 6175 5773 587 5139 4034 3211 2096 3668 3769 6546 3544 2749 614 56 5506 2913 3652 2904 2519 3926 2172 2248 79 2359 4394 2131 563 5090 5541 1554 2658 3227 2117 754 6117 1288 3542 4890 6765 5271 2588 4622 4214 1391 853 3284 2045 1616 5202 1069 1305 947 5118 260 3568 1217 6970 3111 1674 7075 2706 6431 3266 7007 2971 1688 1837 206 3118 5185 6466 3034 1860 3640 5652 1484 6529 5464 4626 6348 2164 4918 3164 6060 2633 26 2781 2468 742 6604 1136 6391 6703 4828 6528 3639 3191 2080 5442 4687 6503 5448 2622 808 2159 3592 719 3883 5421 3400 3956 4794 3138 6488 5776 4207 242 524 2750 4561 3693 390 4178 1334 3362 4260 4703 2259 7109 6154 2458 3774 6864 6815 2108 4738 62 3322 4323 1315 3187 1979 3770 5198 7037 3325 6093 2074 1769 6141 6409 6250 6129 3333 4233 2222 186 2949 2517 4663 4620 2942 3824 5538 4988 4879 5106 5681 1330 4547 6090 3606 5977 3860 4301 4549 6857 4074 5721 4017 5263 625 4507 1470 5785 5580 6924 2931 2434 4998 4019 5631 2895 4815 4558 4282 2417 1197 1796 1819 753 1160 4002 3727 4006 4039 1333 5576 4248 1471 2276 2770 6344 6646 6474 4503 6986 2990 6607 3803 2683 5992 302 3508 5761 6327 2249 5320 7121 4651 3063 4744 5030 5267 4439 410 2564 5553 450 101 6150 4265 6069 3875 1171 3262 3261 1104 1695 1942 521 499 5322 5170 91 3494 3499 4502 2957 2569 259 2836 50 6368 5430 3928 6938 5265 6663 3254 5311 1601 5497 5303 1664 2723 2897 5732 1669 4470 5925 4517 6596 70 6269 3228 3230 1673 1055 2265 1649 418 422 3611 169 2900 1496 1460 167 4124 1585 2256 6620 1000 1920 6418 5445 3258 345 5789 4748 6353 6193 5306 3666 1137 6222 3605 2022 4678 3149 1718 885 4370 1312 6700 5499 2081 4131 2767 3044 4496 506 2555 5886 1576 3752 2617 5105 5033 5922 3058 2368 2430 4627 4643 588 6423 470 2448 760 4396 6624 5127 473 1103 4010 786 4956 7011 1101 5738 6774 898 1758 3201 2645 3704 4769 3270 5884 6788 6823 4510 1989 1631 312 2423 5866 2695 2332 4326 2303 4846 472 6417 6667 7098 4629 598 1097 577 5984 5161 6360 772 1828 4635 1044 6775 1498 3005 5530 984 3350 3994 5316 3049 2984 3535 3624 1945 3741 1304 2066 4239 2887 1272 3662 146 2822 1159 5814 826 3432 3244 526 4393 2451 2799 1765 2817 6138 2191 6403 2208 4014 2523 1620 5618 2214 1812 5675 1826 3879 4864 6097 5183 4904 6497 6846 4639 3128 5212 6251 1335 6666 4106 2177 4322 5859 2130 3293 2898 6507 5194 5462 2599 6164 875 5648 3388 162 987 224 4906 5987 5213 6324 2962 2262 5844 713 6855 320 1162 5051 217 4760 967 1944 3188 1562 3449 1409 1787 3468 6697 2216 6718 2788 3941 4861 1534 809 5289 4848 4929 1102 528 1990 2237 6522 2273 4021 263 4734 5602 3257 391 1116 2201 5398 1293 2292 1212 5446 4333 816 2313 4805 4376 558 6216 5963 5849 203 2128 3536 1775 4862 255 2538 384 3811 682 4923 6253 6942 888 5848 1064 6803 5868 2346 907 1275 2095 6599 534 5685 1581 3151 1607 6355 4362 4035 4018 6605 6890 4952 6794 1925 4770 5837 2438 3637 7073 349 6402 5259 7100 3695 3945 1361 2185 4980 4173 1235 5217 5729 1474 1008 1888 5404 4492 1093 1529 5669 2306 2905 4699 5719 2945 3324 6755 3198 271 5479 3638 2717 1677 918 523 5562 4600 4528 2242 3208 196 5605 103 6432 5835 5071 640 6468 5622 3557 3035 3943 1296 5020 2101 5934 5830 833 2338 4732 4901 5563 5746 5195 284 328 3573 3636 3621 45 5436 644 1109 3837 4544 51 6614 6124 176 3264 3315 4838 193 2374 3612 5833 6738 6608 5828 4814 164 4562 1931 672 5231 2257 1741 4994 6590 5668 2048 2752 3219 722 4595 4401 6500 4696 489 5044 1250 1633 6926 3102 3800 6454 838 4593 763 5818 710 7076 3472 4511 4029 621 4040 3231 983 5114 4468 3358 344 5269 2508 4527 2027 385 491 2240 4903 144 2618 277 5189 3894 3482 4605 5855 7031 1080 1896 4628 1858 6494 4262 6896 3530 4826 4554 869 6818 4701 1963 1328 749 1612 3477 5857 2935 1908 1874 102 5999 6934 4088 6726 35 5204 6585 2549 2561 3896 4043 4741 480 4883 1423 2026 5733 2743 912 805 1448 905 732 4689 2033 5616 2234 2512 4945 1198 2842 325 5261 1243 42 4254 3914 5173 5164 4726 6020 4175 109 4723 2227 1947 2590 5680 5474 3143 727 586 2785 3485 3207 5904 3272 3570 5701 3849 1759 6762 6481 3709 7079 6035 456 3564 6981 1805 1078 879 3085 3463 6116 535 2 5617 916 1477 7096 6405 866 5867 2694 4447 516 6647 1133 3434 3571 372 6947 382 5682 3290 3957 5660 6280 723 3457 4590 5011 1310 1358 197 2554 3648 573 2650 6849 5635 5567 6049 1118 725 1112 7021 2534 1709 6113 1716 796 5661 6629 3338 5638 4953 3002 1933 1029 73 2190 5827 5811 7089 4357 5472 4084 218 7083 3144 2504 811 1195 5009 1694 6840 1083 1199 6758 5804 6127 6194 2302 2944 3550 831 3077 4650 6540 5086 2660 6036 2838 1514 1512 5340 5731 5034 4037 6350 2450 4866 4397 2524 29 265 5937 1846 4285 5001 6651 6727 3984 2264 707 4075 976 2255 5663 5037 5967 209 787 4978 1284 4306 5394 5207 1277 6136 806 3297 5514 979 1777 3337 4413 851 5328 6479 2024 873 1215 6015 1373 4009 1426 308 5769 6866 5779 804 667 4560 5993 227 2168 6259 795 4210 5181 1610 1599 2854 537 3313 3523 6089 6396 4914 373 4061 815 1835 5457 4765 3259 4245 5629 6993 168 633 313 2263 2085 5896 3667 5232 1642 4292 3502 2712 1685 443 2925 4290 1166 3101 3880 6946 6143 1053 421 2490 4070 7106 1270 412 6244 4351 4242 5753 880 5381 226 6640 6295 6600 3973 6025 6909 4424 4785 1009 3289 4811 3025 4683 4596 1278 1836 6984 2839 4746 4063 5502 4184 3749 988 3106 3294 4694 5983 5235 3815 4004 3421 4256 2520 2740 1881 2238 2503 291 1072 5302 268 5038 272 3310 1871 6263 2768 1962 4681 6357 4801 6907 5310 5454 6159 1825 777 3628 4520 280 3944 956 1845 4363 1256 1645 6009 2003 3402 1889 5032 1643 3888 6565 4959 394 1463 2232 6885 467 3798 1797 5756 2859 2500 7101 4825 395 354 6331 6133 5298 3425 6638 5321 5102 2851 942 4132 1701 3243 1202 6389 3498 2402 1128 2614 915 6861 3042 5023 4631 6318 839 7044 6448 6848 3173 1870 502 3245 5964 6951 2703 5125 61 670 4174 3112 4359 4705 7087 5018 2435 3152 2021 3155 1900 5766 1890 4800 4951 3348 5654 342 1898 2473 4097 3672 3703 6724 4535 664 5355 3587 117 4353 2966 3504 4636 2734 3913 4623 6767 6615 6939 5531 3649 1678 7104 849 4149 2956 2953 4572 1428 165 3552 4553 4314 4103 2963 627 5632 886 4832 1611 5329 240 1545 2954 3308 4041 6316 3095 3194 3491 2075 1174 5056 1022 6205 2269 5912 5058 1532 6592 2876 4 6178 3589 2866 1445 93 4498 4090 2919 5174 2997 6085 4506 595 4543 3847 2459 3412 6499 679 1221 334 6207 78 4389 2353 4856 4708 6464 3174 6630 4649 6315 3359 256 5704 5075 6698 3970 557 1399 1676 4880 6569 1830 6174 6342 690 3511 7064 545 3715 3687 65 6677 4764 4691 6808 6374 3660 5243 5639 3524 4674 2363 5126 417 5583 6504 2738 3575 3753 556 3775 5880 1547 2924 913 5029 5754 673 3436 3275 3581 5296 4986 3445 5566 4822 1859 6107 5160 7111 3603 204 3408 2711 3470 1050 3934 3526 5953 3960 4841 403 1764 4946 5026 5976 5513 3392 1068 7069 4664 6671 5720 4136 6699 3031 1999 2482 3630 225 1249 6853 5069 6392 496 5109 4905 3036 675 4902 6899 3779 1111 3239 4754 7061 663 6989 6708 7016 2039 6872 2076 957 5998 5646 822 1452 2736 5072 3872 1489 5973 2167 5673 6749 1190 5768 34 1295 1038 1206 5539 5591 2869 159 3420 4657 1046 658 5760 202 5834 2978 3791 1964 4350 5878 844 1458 4373 3079 2252 3829 3490 6233 6001 4912 581 5692 5728 3732 5465 3823 5494 3893 2226 5354 909 5988 6148 935 2910 2914 4126 2568 5304 4733 6108 3673 6467 4142 4110 2631 6428 4658 3681 2982 1708 6245 626 2441 4771 6128 2630 764 1245 6283 5200 4688 2852 3267 1281 3009 5949 4486 3993 2996 4168 3759 5419 2432 6819 617 5351 4012 5190 5089 982 3435 2221 2540 3937 4697 1380 4031 680 2748 6787 5950 3018 5564 2669 4280 4271 6990 5262 4969 3865 3891 6935 3766 6461 3863 2406 6557 5693 2847 6213 1014 4258 6771 2311 3866 3073 4355 6170 1075 4836 244 575 5647 427 2105 2673 296 3026 3977 5140 6891 2407 4858 674 1551 316 7029 4309 2142 6199 2469 37 3157 3689 6167 6547 6460 1154 5757 2912 4453 6080 3278 5873 5711 5432 4372 5318 3411 959 69 1698 1368 4791 5255 437 2154 1045 5208 6212 1289 5082 1570 698 3397 7112 4731 2958 1798 1040 997 4241 6844 6420 2593 5385 3268 1466 4925 1886 1140 737 199 343 1522 779 5784 7094 6515 6012 6232 1201 6277 5081 5435 3020 5025 1622 6908 4117 5363 2484 3632 965 3132 2780 120 6274 3100 1230 6806 5360 4513 6668 4783 2428 5209 6310 2725 4159 5295 2613 7048 5142 6021 4612 5426 3924 5349 2763 4999 184 1273 5611 751 4715 6956 5022 908 3373 2972 3448 3335 2710 6369 1509 3233 6944 6168 5972 6581 6655 4666 518 4740 6266 5148 1074 3406 4212 4217 4231 4758 3950 4976 6543 5726 1950 6508 6910 2139 6627 6527 5362 4056 5275 601 30 2282 596 3736 2460 5242 3097 2543 3484 2157 4102 802 4888 5986 1347 6606 2053 6471 1595 2880 4023 5800 2550 1134 4804 1079 5743 6710 1228 208 5725 6784 3017 3707 1726 1915 5039 4579 4993 789 6180 5370 1855 6398 2129 1555 4834 1824 1696 4193 2376 6822 3019 4236 946 1786 5517 2722 6932 5006 5748 1544 6964 6179 5309 3311 6162 6623 4889 2326 4954 5254 3819 7060 1321 3418 5643 3576 3204 3332 1831 4157 4433 132 3433 2655 1144 7022 2071 118 2217 3554 4436 5449 3988 4463 5637 559 6889 6626 1006 424 2418 1681 2160 5650 1298 1167 5897 7108 6501 1652 3900 4676 992 4329 1023 4283 4537 5387 6573 115 5285 4016 6294 2325 6264 49 2612 348 3234 702 2483 3972 1410 2443 4408 22 1141 7056 6177 857 3113 6451 5577 536 6589 1120 610 3585 3658 4934 1638 1592 20 380 2965 4358 6659 3163 2582 1776 190 3923 4432 2429 3512 6678 3121 1693 6492 6790 3748 2513 3869 4071 3939 944 5425 2068 1207 2082 1932 3447 6300 3043 7103 3830 5338 6305 4187 4893 788 2939 3890 6419 5251 14 2094 6436 6761 6628 5490 5450 1163 1233 6923 5787 1624 939 5516 2509 5084 6252 3643 3596 4195 2200 96 1001 4615 3422 6829 3777 2605 6237 3899 4307 934 3269 2778 1108 3981 358 94 3090 428 2621 267 5078 2478 266 797 1566 4422 3679 3003 505 1914 6297 2339 3069 2968 1327 1049 5519 6613 7095 5735 4264 6058 3898 2721 84 5192 1313 747 1686 5 6238 82 351 3747 4392 1007 717 1405 6110 1751 3192 1237 5453 5346 5300 429 5066 6782 2584 5314 298 4420 2277 824 1490 3938 4352 4772 6268 5997 1575 468 6363 3778 431 993 5624 1376 1519 3206 1906 2193 7036 3991 5292 1834 4809 8 6188 4565 1346 3547 455 5970 1862 4067 845 4508 5572 5324 420 2600 2715 2794 3833 2244 6142 3619 681 1508 7046 1447 6470 5343 324 386 1481 1 3458 3962 5996 283 6883 2865 971 1443 611 4500 5822 782 6248 3340 2746 2322 6011 1937 1493 2044 3027 3955 5508 2731 5389 5667 4044 4782 3078 3455 4730 5734 1515 6426 5558 2433 6913 274 2328 525 4279 3702 3489 1715 2008 1302 3500 5676 5326 2756 4928 2728 6490 3699 7057 6287 6821 2501 2627 5640 3986 6206 6662 3345 4541 657 498 5688 3367 590 3949 287 812 286 5975 2272 6209 5571 6054 5548 2012 4180 5536 951 5511 4948 4457 1182 6187 3378 585 2697 5027 4786 6779 6972 4725 5137 4855 914 5005 668 33 3302 5132 5088 4321 3929 3443 441 6745 6535 4135 3801 114 5152 4779 1526 6810 2537 766 3836 5123 1704 1587 3240 2803 7063 741 661 4509 2268 5817 158 5299 1916 5501 5000 5028 1505 1617 1176 4939 2848 1377 5696 6236 3276 1746 3718 5047 1559 3039 369 2802 3739 6882 3352 1363 6483 2518 6895 40 5008 1850 6644 6441 2383 5353 5699 3906 1739 2814 6304 5946 7025 5463 88 6927 715 3797 4371 408 3190 1680 5709 326 4226 3712 4921 5380 4068 402 3467 4594 4487 2403 5579 6234 4984 3055 6850 3627 477 95 6556 969 1122 5592 695 5612 6742 4915 6983 4568 183 3444 4869 3661 930 5891 5634 416 636 2643 3061 6190 474 6838 2666 2659 1880 6070 4192 4086 6378 2286 3108 5004 133 4505 3634 7118 2320 4310 2909 5065 3541 23 2223 6643 4347 3997 2870 4745 3381 2304 5428 3279 3904 2056 399 7085 3184 2486 5864 3318 1143 2563 6008 6759 7049 5594 1647 3744 5229 1540 2928 5012 6795 4755 5356 4427 4727 953 3037 5507 5270 5747 4968 1200 3558 5017 4121 1395 3176 2393 3141 5929 246 4001 1350 1943 4512 1748 4616 4199 1086 6088 1039 699 6805 1779 1984 4030 1524 2863 3220 1630 3415 5881 5915 2316 1584 1731 5672 497 3987 2206 3001 7042 6856 300 964 3372 817 2156 1322 6959 4051 5219 47 2365 564 1110 1565 6173 3598 4274 6952 4539 4743 5543 3082 1059 371 3877 3010 2616 2727 7012 5656 1297 6381 3166 5352 5918 4695 6593 1186 6118 7107 2399 4428 6837 3379 189 6119 4022 5845 6988 460 1204 5308 379 2379 4504 1912 1177 2572 3287 3045 2515 3091 2061 5391 4971 4881 5003 4630 1847 697 6439 1833 5429 401 1671 926 3936 3539 3438 1158 2046 2546 2426 2367 774 178 4473 6936 6875 2294 2355 4686 3650 3336 5911 2855 4304 2773 1372 5805 1939 38 5186 2315 4137 5386 6858 740 4234 6549 3730 1091 2786 4403 659 4717 5961 5510 3772 1641 331 5523 1987 1224 1626 157 6539 1781 5172 3903 6261 5007 932 703 2874 2565 4038 4167 191 2827 2892 4534 4395 4859 2961 2230 5930 4440 3217 2681 361 1088 3874 4240 1773 46 5724 1374 5684 2662 6721 6877 6711 5116 6203 235 6753 5337 5960 683 5528 3789 1265 6275 3040 2454 4087 2809 5862 1419 3416 4169 4313 5710 1637 1842 2440 1404 5512 5061 5565 6789 4672 1734 1697 3050 6648 2877 5055 4584 2760 3742 4972 297 4606 6786 6839 488 1580 1416 2453 4064 3629 5273 3471 503 6669 6007 2649 4444 5423 1586 4611 676 166 3982 1572 6744 6087 31 4089 1468 2907 1303 1286 4125 5141 852 147 1614 1691 6469 3250 619 5197 3329 643 1150 212 5250 3657 4966 3663 2089 3120 2281 4625 6564 3011 6303 6066 832 4045 3252 3740 1684 6260 1583 1648 2759 6044 1168 2889 2414 2529 1367 6379 2408 2607 2917 36 1988 2558 4967 1219 3298 2038 4153 6562 5664 1946 5869 4252 2188 3864 1418 3548 6102 2816 216 825 2730 2466 6511 388 4200 792 1602 2415 4937 6329 5470 3620 6111 6705 4469 2499 198 323 4382 2425 3452 2591 1892 1651 2826 6728 3305 746 4706 2830 6568 7054 1360 3099 2336 4839 4863 3569 4093 2916 574 2890 336 464 6096 2285 2341 970 5280 2744 2147 6152 3990 5525 1541 3410 2327 5319 2514 6670 1866 3080 4930 5439 6900 2140 5991 293 4156 1613 1978 5815 5619 1388 5307 3481 3260 1632 3364 1366 2845 80 7066 4220 2052 882 2205 58 1393 4523 5403 3461 2087 3068 1035 4218 406 4295 5379 6538 6393 4588 592 3395 6681 1784 3825 3014 5775 7078 5199 6730 481 4798 4269 4335 2055 6691 642 2253 685 5323 1043 9 3116 5103 3117 3167 5128 641 2766 2064 6265 426 3822 4388 781 1417 3996 4146 4852 2260 6095 6602 195 1216 5162 1469 630 4793 3892 2492 1329 3428 3615 6816 6115 4829 5981 5478 2516 97 306 3202 3168 4619 2553 148 479 6495 3179 7077 3165 6104 856 735 6475 5569 5872 5347 4707 4317 5221 6716 6832 5097 4900 222 1941 3647 4933 2395 1590 5969 4331 359 2324 1780 4048 4751 1345 2358 5288 2110 7033 4255 6572 5613 5120 1412 4346 5820 6873 4026 1236 6314 4476 156 5443 2664 4459 1976 1938 1037 236 2762 3385 2348 2596 5201 3599 3277 3413 2637 7051 1571 4059 6559 6836 2742 1148 6005 1774 1994 3802 6591 5476 1129 6999 7006 1439 2893 2422 3342 3556 1098 4232 3965 3371 3442 2700 790 145 6366 6991 7005 5393 2491 1231 67 5240 5816 1935 457 6825 4763 4840 2007 454 1747 3280 6373 319 77 2844 4411 2955 3056 4098 1902 86 4398 876 1548 7068 6834 6183 5556 4669 1433 6473 801 6195 798 6 3885 6477 411 2813 622 3181 3282 6240 3178 2888 4345 1211 2310 837 6948 2936 1922 6135 4328 2161 6134 3070 3729 2544 1258 6390 3067 1127 6256 6166 3664 6570 738 2109 5549 107 3476 185 7028 6693 453 3520 3933 3361 5060 1269 5467 5087 1872 724 3781 5331 1598 5191 3999 5277 2608 4624 2394 4882 5909 85 1042 5372 81 862 605 4533 1343 5226 245 2203 2178 728 4011 4896 3319 1556 2522 5924 4205 4949 966 1867 1700 2908 2583 6912 6224 5600 6542 1818 6781 5098 4024 60 5786 4402 5113 2556 6002 2496 2751 3895 1993 2241 4641 2382 6449 6155 1667 6684 4008 4709 1209 5921 3844 1486 6480 613 5111 4530 1730 4186 4718 6325 6717 2357 5122 149 5642 1279 362 4813 1225 405 1058 2687 5942 6443 2807 6636 5923 602 3907 4739 6580 6770 1028 5985 1267 7026 2497 3644 3932 1527 2531 2284 1429 6040 4634 1234 1155 3 903 5218 2194 4042 2823 3317 5357 4305 1365 5968 4640 128 6270 2009 4118 1868 4792 4529 6800 3720 4060 4831 540 2121 6094 68 1877 3912 2505 2791 4330 4752 5166 6595 2680 6388 5625 814 2099 6793 539 187 6356 5653 1192 5783 5509 430 553 1151 2111 6450 2846 3462 2331 2571 6208 6657 4015 4162 3855 2057 1432 6139 3092 6773 6453 3274 5829 1745 446 1485 6915 75 5875 1579 7093 5459 3295 6804 3509 651 2805 5550 4926 5237 3577 5935 4095 1427 1420 4833 4491 3838 2047 1849 6196 4700 3439 276 5400 5628 6563 2247 1538 945 2577 140 3376 1634 3931 1854 6317 3126 1436 5176 4574 5245 6123 6950 3083 1857 5068 2371 5405 64 1878 2991 6845 5614 7086 527 6361 311 5252 655 5557 3887 6996 5722 1740 3601 4812 4319 6226 5954 5112 2370 5225 5802 2674 6367 5456 2112 5441 116 5266 730 5520 6517 1475 2295 5215 2494 89 1711 1386 5294 6582 4493 487 6308 2947 1659 6101 6811 2940 2149 2777 5485 2974 3686 2171 3610 3135 4878 6985 4716 2340 2592 2771 6545 6725 6831 1185 6532 5117 1500 57 1240 6688 2342 5919 5169 2737 2832 337 6427 6973 3487 1226 3676 6284 1513 3021 2132 929 3263 4679 2261 364 4604 3171 6301 3304 607 2479 6897 2539 2871 6750 2578 239 6114 3170 5545 1482 5824 173 3357 653 1817 4990 589 6026 6731 6689 5534 2729 1260 2886 398 2894 4387 3148 6293 4069 2389 6372 1823 4970 5598 2507 2386 2545 44 4437 6112 7067 367 938 2037 5203 6370 52 6176 2119 883 3728 5730 5606 3762 119 341 4583 3985 2153 5143 4797 2552 6485 179 1435 501 1959 141 6743 2405 6833 5712 5737 3840 150 2151 6484 3300 1271 6410 975 6682 694 1487 3930 3826 3595 3607 3846 513 4458 2989 4158 1663 7023 7002 3560 5433 1413 2002 3423 262 4485 2421 1749 471 1646 2547 252 4270 1301 897 1627 5327 5575 5099 4418 1597 2250 1300 6506 3726 2350 6239 6109 6383 4166 1205 6802 1382 5582 7038 1628 4288 1995 2158 5260 1203 3419 2136 4405 4665 6083 6754 3920 561 5052 2437 6520 3186 864 3169 257 1248 2741 1998 4778 5064 5928 768 933 6550 2640 6961 282 5041 3756 392 5522 2072 3754 4164 1593 3030 974 5778 3374 4830 3969 3669 2810 6349 4884 2536 192 900 1488 6929 5205 6346 17 2329 5705 5858 5487 1261 1832 5686 3821 2472 6352 6919 1728 1196 6531 5227 6394 5411 6931 1966 2212 6631 783 990 5035 4099 739 2390 2092 3323 6714 3701 6041 1414 6577 566 1336 4499 1066 1802 6336 949 4916 4724 1806 4711 3456 877 4228 2699 1982 3513 2902 1606 6880 1370 4287 1252 4673 594 3543 2474 3351 603 25 230 1191 2774 3922 3159 1876 295 7008 1809 4425 2783 2570 4602 5096 1762 3087 2559 3417 4275 3480 4257 4338 43 5179 1016 5537 4538 1238 6965 6783 7045 6276 4404 6292 5503 5713 6323 6979 6732 4311 353 1194 3882 3835 5374 3794 7092 5431 2804 4400 2526 4656 867 6554 6622 6482 1609 3154 1903 2004 6062 2635 3115 5658 6941 3440 7091 576 2463 3375 1283 2148 6960 3675 4293 6017 948 6862 4191 1727 686 6945 2884 3743 895 2992 3224 6491 5131 4340 2032 3496 508 6686 3776 6769 2120 6757 7047 1658 4465 891 1506 2873 3976 459 2849 3785 4729 6415 546 6018 6869 4281 2018 4490 1434 4621 1504 4160 3382 5842 5121 7040 134 4868 1145 6032 458 6673 122 1650 3782 3974 2040 2077 2906 973 1528 1771 2461 7114 1403 2764 2833 4497 5046 3497 2051 3857 4216 943 4154 551 6904 2060 2489 374 5651 5810 5666 5689 4300 5863 3391 1621 322 478 5674 1381 847 769 4237 4367 5847 3574 3072 1856 4354 6715 4551 2611 677 5687 6446 5821 3909 1352 1844 1972 1960 6067 794 2932 5043 4886 1927 6103 6084 4434 2452 2125 5561 6075 688 6706 7043 5900 1067 1525 6734 3761 4667 4246 4788 2903 129 6798 4614 5749 3697 3221 616 3682 6322 5941 3793 3559 5559 1461 4479 6618 6660 6326 5495 2005 5151 5210 1719 3330 6561 288 4429 1242 2388 1018 136 3216 6257 4494 4519 6028 6440 5414 1639 2624 5418 3064 3028 2488 1126 1848 4963 6254 1549 4032 4308 5070 6958 4532 878 623 632 6541 2735 4816 2270 4443 5774 2843 2689 4466 842 1084 126 6160 7070 3012 3670 6617 2347 4046 6911 258 3134 637 1542 2135 6463 5135 6298 6796 906 3881 3147 1246 767 3401 2784 5927 482 3696 5698 6262 6898 3845 3094 6513 4480 123 755 671 5771 6343 1094 4548 1054 3237 520 3799 2181 4349 1793 1337 3393 6633 6879 4384 3105 2271 5284 4450 1948 3665 7062 3107 5220 2641 4050 543 1253 778 3399 4148 21 3162 3897 71 6886 6358 3339 5146 3964 5526 6445 3724 1591 3114 2998 881 3283 532 92 1557 1957 4982 5979 3623 3059 6975 5417 15 5932 3292 4381 4787 1550 1369 3716 6943 5074 4837 4526 6887 3631 3873 3788 7090 1208 6868 2114 5752 1254 4451 6524 5770 3133 5741 2506 6476 1241 1653 1440 4112 3804 4749 4020 2397 5129 1897 66 1501 181 6425 548 5396 5163 2439 1089 493 6707 940 2170 1354 1266 892 3528 4987 3978 5422 5317 6359 2449 5527 2510 2575 5031 4230 2594 5244 2883 3427 6576 1668 4198 3426 11 1703 1462 4078 5861 425 355 6364 5491 5130 6157 2384 1807 2639 6371 3553 2920 3238 1257 510 4221 803 6278 550 1970 2192 5333 6182 1379 3566 4843 5498 2413 1359 1821 1907 5057 736 6892 4818 3505 2173 5609 2275 4276 1024 5475 3062 5193 1679 6502 2975 1735 962 701 1259 3212 6760 4243 6603 5466 996 3197 6741 98 859 285 2834 5962 1909 4222 3831 5883 5258 3651 6014 6145 3398 729 4185 1341 2973 5415 4204 1535 434 1125 1969 3249 860 4213 2808 2065 5871 665 5751 3995 5312 5839 3604 4380 6223 106 213 3625 4284 3841 1974 5447 708 821 2133 6676 1401 1441 5902 4573 3052 6000 4163 3961 2626 6894 6702 599 1353 1971 6151 2670 3579 2163 765 3868 6865 6242 4208 1280 4171 2798 711 1657 6584 4922 3032 1175 4960 1569 1057 1546 6456 4608 3303 1338 1829 6505 1130 2097 1913 530 4318 7001 3429 2860 4644 2652 5366 6003 6641 2308 2349 1161 2761 6347 7013 1965 1318 3677 1408 2103 6534 5840 865 1031 841 1644 631 4343 3517 2853 4183 6579 3320 2651 3405 3306 1467 748 2239 2401 3616 870 1843 6756 2704 5568 108 6365 5073 3033 3441 634 4559 500 3466 4101 5427 5552 3688 2477 793 6189 2334 6429 902 5759 4047 554 1351 5500 887 1437 1851 910 5780 5282 7084 2797 4924 2115 1618 6289 5836 3783 1820 1636 511 1761 6555 6345 1222 2211 6683 5216 6078 4962 1156 7004 2471 3285 6530 1491 5823 3626 2795 517 6086 24 6030 5276 4824 7052 2733 2465 6408 1255 7015 4997 4653 6313 2812 6963 3562 1603 4005 2186 5649 135 3241 5764 1172 3905 2841 6068 5740 4247 5581 2688 4003 4501 1268 3200 5377 2708 4334 1247 5095 4877 4081 6609 4514 5171 3795 3424 318 5483 6434 279 6824 2373  0
1145.14/1145.17	
1145.14/1145.17	c Core has size 5349

OK	5349

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

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.99 3.97 3.90 4/189 27395
/proc/meminfo: memFree=30121292/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=12912 CPUtime=0 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 623 0 0 0 0 0 0 0 25 0 1 0 892310466 13221888 548 33554432000 4194304 4365125 140735500049664 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 3228 548 256 42 0 376 0

[startup+0.0396539 s]
/proc/loadavg: 3.99 3.97 3.90 4/189 27395
/proc/meminfo: memFree=30121292/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=13928 CPUtime=0.03 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 1294 0 0 0 3 0 0 0 25 0 1 0 892310466 14262272 763 33554432000 4194304 4365125 140735500049664 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 3482 763 262 42 0 630 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13928

[startup+0.100657 s]
/proc/loadavg: 3.99 3.97 3.90 4/189 27395
/proc/meminfo: memFree=30121292/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=16056 CPUtime=0.09 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 2726 0 0 0 9 0 0 0 25 0 1 0 892310466 16441344 1239 33554432000 4194304 4365125 140735500049664 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 4014 1239 263 42 0 1162 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16056

[startup+0.300612 s]
/proc/loadavg: 3.99 3.97 3.90 4/189 27395
/proc/meminfo: memFree=30121292/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=25676 CPUtime=0.29 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 10624 0 0 0 28 1 0 0 25 0 1 0 892310466 26292224 2806 33554432000 4194304 4365125 140735500049664 18446744073709551615 4257403 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 6419 2806 263 42 0 3567 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25676

[startup+0.700525 s]
/proc/loadavg: 3.99 3.97 3.90 4/189 27395
/proc/meminfo: memFree=30121292/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=41080 CPUtime=0.69 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 24941 0 0 0 66 3 0 0 25 0 1 0 892310466 42065920 6349 33554432000 4194304 4365125 140735500049664 18446744073709551615 4257799 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 10270 6349 263 42 0 7418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41080

[startup+1.50037 s]
/proc/loadavg: 3.99 3.97 3.90 5/190 27396
/proc/meminfo: memFree=30088068/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=55104 CPUtime=1.49 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 37830 0 0 0 145 4 0 0 25 0 1 0 892310466 56426496 9580 33554432000 4194304 4365125 140735500049664 18446744073709551615 4246924 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 13776 9580 263 42 0 10924 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55104

[startup+3.10105 s]
/proc/loadavg: 3.99 3.97 3.90 5/190 27396
/proc/meminfo: memFree=30037848/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=107316 CPUtime=3.09 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 79828 0 0 0 300 9 0 0 25 0 1 0 892310466 109891584 18393 33554432000 4194304 4365125 140735500049664 18446744073709551615 4244777 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 26829 18393 263 42 0 23977 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107316

[startup+6.30041 s]
/proc/loadavg: 3.99 3.97 3.90 5/190 27396
/proc/meminfo: memFree=29936748/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=190044 CPUtime=6.29 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 135840 0 0 0 612 17 0 0 25 0 1 0 892310466 194605056 37782 33554432000 4194304 4365125 140735500049664 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 47511 37782 269 42 0 44659 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 190044

[startup+12.7011 s]
/proc/loadavg: 3.99 3.97 3.90 5/190 27396
/proc/meminfo: memFree=29686892/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=715204 CPUtime=12.69 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 309034 0 0 0 1232 37 0 0 25 0 1 0 892310466 732368896 105093 33554432000 4194304 4365125 140735500049664 18446744073709551615 4244669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 178801 105093 269 42 0 175949 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 715204

[startup+25.5006 s]
/proc/loadavg: 3.99 3.97 3.90 5/190 27396
/proc/meminfo: memFree=29784968/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=358432 CPUtime=25.49 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 349774 0 0 0 2507 42 0 0 25 0 1 0 892310466 367034368 72449 33554432000 4194304 4365125 140735500049664 18446744073709551615 4263861 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 89608 72449 270 42 0 86756 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 358432

[startup+51.1005 s]
/proc/loadavg: 3.99 3.97 3.90 5/190 27397
/proc/meminfo: memFree=29719932/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=495268 CPUtime=51.1 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 623443 0 0 0 5036 74 0 0 25 0 1 0 892310466 507154432 90401 33554432000 4194304 4365125 140735500049664 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 123817 90401 264 42 0 120965 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 495268

[startup+102.306 s]
/proc/loadavg: 4.05 3.99 3.91 5/190 27398
/proc/meminfo: memFree=29422412/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=749564 CPUtime=102.3 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 1176446 0 0 0 10089 141 0 0 25 0 1 0 892310466 767553536 167495 33554432000 4194304 4365125 140735500049664 18446744073709551615 4244697 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 187391 167495 264 42 0 184539 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 749564

[startup+162.3 s]
/proc/loadavg: 4.02 3.99 3.91 5/190 27400
/proc/meminfo: memFree=29283364/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=1067472 CPUtime=162.29 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 1497214 0 0 0 16050 179 0 0 25 0 1 0 892310466 1093091328 204327 33554432000 4194304 4365125 140735500049664 18446744073709551615 4247612 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 266868 204327 264 42 0 264016 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1067472

[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/190 27401
/proc/meminfo: memFree=29414880/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=761136 CPUtime=222.29 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 1813804 0 0 0 22011 218 0 0 25 0 1 0 892310466 779403264 166531 33554432000 4194304 4365125 140735500049664 18446744073709551615 4262046 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 190284 166531 264 42 0 187432 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 761136

[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/190 27403
/proc/meminfo: memFree=29446820/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=728368 CPUtime=282.3 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 2171473 0 0 0 27972 258 0 0 25 0 1 0 892310466 745848832 162387 33554432000 4194304 4365125 140735500049664 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 182092 162387 264 42 0 179240 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 728368

[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/190 27405
/proc/meminfo: memFree=29459408/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=734512 CPUtime=342.3 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 2408964 0 0 0 33942 288 0 0 25 0 1 0 892310466 752140288 163190 33554432000 4194304 4365125 140735500049664 18446744073709551615 4244701 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 183628 163190 264 42 0 180776 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 734512

[startup+402.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/190 27444
/proc/meminfo: memFree=29535712/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=730416 CPUtime=402.31 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 2758834 0 0 0 39901 330 0 0 25 0 1 0 892310466 747945984 162676 33554432000 4194304 4365125 140735500049664 18446744073709551615 4262559 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 182604 162676 264 42 0 179752 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 730416

[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/190 27446
/proc/meminfo: memFree=29525264/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=728368 CPUtime=462.31 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 3234328 0 0 0 45844 387 0 0 25 0 1 0 892310466 745848832 162387 33554432000 4194304 4365125 140735500049664 18446744073709551615 4244608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 182092 162387 264 42 0 179240 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 728368

[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/190 27485
/proc/meminfo: memFree=29516604/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=841000 CPUtime=522.31 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 3602967 0 0 0 51798 433 0 0 25 0 1 0 892310466 861184000 176522 33554432000 4194304 4365125 140735500049664 18446744073709551615 4247593 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 210250 176522 264 42 0 207398 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 841000

[startup+582.301 s]
/proc/loadavg: 4.08 4.00 3.91 5/190 27525
/proc/meminfo: memFree=29618816/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=728368 CPUtime=582.32 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 3991862 0 0 0 57752 480 0 0 25 0 1 0 892310466 745848832 162387 33554432000 4194304 4365125 140735500049664 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 182092 162387 264 42 0 179240 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 728368

[startup+642.301 s]
/proc/loadavg: 4.03 4.00 3.91 5/190 27565
/proc/meminfo: memFree=29302096/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=736560 CPUtime=642.32 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 4311095 0 0 0 63710 522 0 0 25 0 1 0 892310466 754237440 163447 33554432000 4194304 4365125 140735500049664 18446744073709551615 4262552 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 184140 163447 264 42 0 181288 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 736560

[startup+702.301 s]
/proc/loadavg: 4.01 4.00 3.91 5/190 27566
/proc/meminfo: memFree=29099056/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=826668 CPUtime=702.31 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 4715700 0 0 0 69660 571 0 0 25 0 1 0 892310466 846508032 174723 33554432000 4194304 4365125 140735500049664 18446744073709551615 4275916 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 206667 174723 264 42 0 203815 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 826668

[startup+762.307 s]
/proc/loadavg: 3.78 3.95 3.90 4/184 27592
/proc/meminfo: memFree=29302680/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=836908 CPUtime=762.32 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 5103629 0 0 0 75611 621 0 0 25 0 1 0 892310466 856993792 176008 33554432000 4194304 4365125 140735500049664 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 209227 176008 264 42 0 206375 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 836908

[startup+822.301 s]
/proc/loadavg: 3.28 3.77 3.84 4/184 27593
/proc/meminfo: memFree=29173400/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=709192 CPUtime=822.33 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 5432547 0 0 0 81569 664 0 0 25 0 1 0 892310466 726212608 157625 33554432000 4194304 4365125 140735500049664 18446744073709551615 4258040 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 177298 157625 264 42 0 174446 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 709192

[startup+882.301 s]
/proc/loadavg: 3.17 3.65 3.79 4/184 27595
/proc/meminfo: memFree=29236340/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=738608 CPUtime=882.32 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 5804345 0 0 0 87520 712 0 0 25 0 1 0 892310466 756334592 163704 33554432000 4194304 4365125 140735500049664 18446744073709551615 4250135 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 184652 163704 264 42 0 181800 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 738608

[startup+942.301 s]
/proc/loadavg: 2.78 3.46 3.72 3/178 27630
/proc/meminfo: memFree=29856256/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=859432 CPUtime=942.32 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 6174388 0 0 0 93473 759 0 0 25 0 1 0 892310466 880058368 178835 33554432000 4194304 4365125 140735500049664 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 214858 178835 264 42 0 212006 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 859432

[startup+1002.3 s]
/proc/loadavg: 2.28 3.19 3.61 3/178 27631
/proc/meminfo: memFree=29913632/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=728368 CPUtime=1002.33 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 6510887 0 0 0 99431 802 0 0 25 0 1 0 892310466 745848832 162387 33554432000 4194304 4365125 140735500049664 18446744073709551615 4244660 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 182092 162387 264 42 0 179240 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 728368

[startup+1062.3 s]
/proc/loadavg: 2.10 2.97 3.50 3/178 27633
/proc/meminfo: memFree=29896356/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=709192 CPUtime=1062.33 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 6731617 0 0 0 105403 830 0 0 25 0 1 0 892310466 726212608 157625 33554432000 4194304 4365125 140735500049664 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 177298 157625 264 42 0 174446 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 709192

[startup+1122.3 s]
/proc/loadavg: 2.08 2.81 3.41 3/178 27634
/proc/meminfo: memFree=29892100/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=750120 CPUtime=1122.34 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 6935376 0 0 0 111376 858 0 0 25 0 1 0 892310466 768122880 166072 33554432000 4194304 4365125 140735500049664 18446744073709551615 4247575 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 187530 166072 264 42 0 184678 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 750120

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

[startup+1126.3 s]
/proc/loadavg: 2.07 2.80 3.40 3/178 27635
/proc/meminfo: memFree=29881552/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=762408 CPUtime=1126.34 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 6943536 0 0 0 111775 859 0 0 25 0 1 0 892310466 780705792 167582 33554432000 4194304 4365125 140735500049664 18446744073709551615 4267870 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 190602 167582 264 42 0 187750 0
Current children cumulated CPU time (s) 1126.34
Current children cumulated vsize (KiB) 762408

[startup+1132.7 s]
/proc/loadavg: 2.07 2.78 3.40 3/178 27637
/proc/meminfo: memFree=29913540/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=795172 CPUtime=1132.73 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 6959092 0 0 0 112413 860 0 0 25 0 1 0 892310466 814256128 171694 33554432000 4194304 4365125 140735500049664 18446744073709551615 4266155 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 198793 171694 264 42 0 195941 0
Current children cumulated CPU time (s) 1132.73
Current children cumulated vsize (KiB) 795172

[startup+1139.1 s]
/proc/loadavg: 2.06 2.76 3.38 3/178 27637
/proc/meminfo: memFree=29874356/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=716608 CPUtime=1139.13 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 6970079 0 0 0 113051 862 0 0 25 0 1 0 892310466 733806592 159479 33554432000 4194304 4365125 140735500049664 18446744073709551615 4258049 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 179152 159479 264 42 0 176300 0
Current children cumulated CPU time (s) 1139.13
Current children cumulated vsize (KiB) 716608

[startup+1142.3 s]
/proc/loadavg: 2.06 2.76 3.38 3/178 27637
/proc/meminfo: memFree=29511900/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=743976 CPUtime=1142.34 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 6975869 0 0 0 113371 863 0 0 25 0 1 0 892310466 761831424 165269 33554432000 4194304 4365125 140735500049664 18446744073709551615 4249855 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 185994 165269 264 42 0 183142 0
Current children cumulated CPU time (s) 1142.34
Current children cumulated vsize (KiB) 743976

[startup+1143.9 s]
/proc/loadavg: 2.05 2.74 3.37 3/178 27638
/proc/meminfo: memFree=29891340/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=752168 CPUtime=1143.94 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 6976897 0 0 0 113531 863 0 0 25 0 1 0 892310466 770220032 166297 33554432000 4194304 4365125 140735500049664 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 188042 166297 264 42 0 185190 0
Current children cumulated CPU time (s) 1143.94
Current children cumulated vsize (KiB) 752168

[startup+1144.7 s]
/proc/loadavg: 2.05 2.74 3.37 3/178 27638
/proc/meminfo: memFree=29891340/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=752168 CPUtime=1144.74 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 6976897 0 0 0 113611 863 0 0 25 0 1 0 892310466 770220032 166297 33554432000 4194304 4365125 140735500049664 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 188042 166297 264 42 0 185190 0
Current children cumulated CPU time (s) 1144.74
Current children cumulated vsize (KiB) 752168

[startup+1145.11 s]
/proc/loadavg: 2.05 2.74 3.37 4/178 27638
/proc/meminfo: memFree=29891344/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=752168 CPUtime=1145.14 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202496 6976897 0 0 0 113651 863 0 0 25 0 1 0 892310466 770220032 166297 33554432000 4194304 4365125 140735500049664 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/27395/statm: 188042 166297 264 42 0 185190 0
Current children cumulated CPU time (s) 1145.14
Current children cumulated vsize (KiB) 752168

[startup+1145.2 s]
/proc/loadavg: 2.05 2.74 3.37 4/178 27638
/proc/meminfo: memFree=29891344/32950928 swapFree=67053888/67111528
[pid=27395] ppid=27393 vsize=0 CPUtime=1145.23 cores=0,2
/proc/27395/stat : 27395 (MoUsSaka) R 27393 27395 26001 0 -1 4202500 6976902 0 0 0 113658 865 0 0 25 0 1 0 892310466 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27395/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1145.23
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1145.2
CPU time (s): 1145.25
CPU user time (s): 1136.59
CPU system time (s): 8.66068
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1601488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1136.59
system time used= 8.66068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6976902
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= 9
involuntary context switches= 13699

runsolver used 1.92971 second user time and 4.13437 second system time

The end

Begin job on node149 at 2011-06-11 17:45:38
IDJOB=3495688
IDBENCH=88014
IDSOLVER=1989
FILE ID=node149/3495688-1307807138
RUNJOBID= node149-1307806612-26829
PBS_JOBID= 13551043
Free space on /tmp= 73964 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net40-30-5.shuffled.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495688-1307807138/watcher-3495688-1307807138 -o /tmp/evaluation-result-3495688-1307807138/solver-3495688-1307807138 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495688-1307807138.cnf

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

MD5SUM BENCH= 724dd7b562383dbe2ba9c79b64cddfd0
RANDOM SEED=594545445

node149.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.806
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.61
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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
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.806
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.83
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.806
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.806
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.82
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.806
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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:      30121588 kB
Buffers:        160664 kB
Cached:        1163132 kB
SwapCached:      23736 kB
Active:        1637728 kB
Inactive:      1028424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30121588 kB
SwapTotal:    67111528 kB
SwapFree:     67053888 kB
Dirty:             396 kB
Writeback:           0 kB
AnonPages:     1337928 kB
Mapped:          10276 kB
Slab:            93324 kB
PageTables:       8052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1664260 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= 73968 MiB
End job on node149 at 2011-06-11 18:04:43