0.00/0.00 c MoUsSaka vegetarian
9.59/9.66
9.59/9.66 s UNSATISFIABLE
168.69/168.78 c Core is minimal
168.69/168.78
168.69/168.78 v 10311 10255 10253 10251 10269 10267 10275 10277 10271 10259 10265 10273 10284 10285 10262 10252 10264 10258 10256 10250 10260 10254 10248 3387 483 514 447 10288 10270 10268 10274 10290 10292 10272 10291 10287 516 10278 512 474 10696 503 506 408 10286 3440 10289 10280 3438 10276 10266 10281 10257 10279 10249 10283 10263 5483 5486 5489 3405 3409 3408 3403 3406 5487 3402 3400 3399 5490 13 20 16 12 15 18 21 3439 58 52 49 56 53 55 432 1 2 22 3395 3413 11 4 19 7 17 8 14 5 23 10 38 32 37 34 35 31 3425 3428 3412 6 3 24 39 9 33 3390 3396 3391 3397 3394 3411 3393 3421 3424 3426 3423 3420 44 46 47 43 29 28 25 40 41 26 3434 3431 3437 3419 3416 3816 30 27 3815 45 48 3418 3429 3417 3430 3414 3435 3415 3436 50 510 499 423 10823 10162 3379 7225 7275 7288 481 7201 7294 490 7283 7274 7284 10705 10703 114 10708 181 153 183 178 6959 10293 10707 154 10710 10706 174 200 206 204 182 180 168 176 6956 6961 6892 10947 10697 156 189 193 185 486 6962 6967 6971 155 166 195 186 167 171 175 10946 6948 6944 6947 6950 6957 6955 6951 10720 10698 6982 6977 6827 496 518 6829 207 187 196 179 202 177 201 172 170 203 197 10699 7084 10749 305 304 10711 6931 6910 10709 6958 6960 6970 6976 10723 10725 6946 6972 6983 6954 6952 10700 10701 517 164 10702 210 488 10704 10261 3427 36 3433 3432 3820 3444 7208 7209 7210 7241 463 409 2094 2097 10660 6790 10668 10686 10666 10694 6787 6808 6802 6811 6814 6799 10672 6817 10670 10684 6805 6823 6781 6820 10682 10674 10664 10690 10662 10692 6796 6793 10688 6826 6784 10680 10658 10676 10678 6830 6834 6836 6831 3819 7243 6832 6835 440 436 461 401 414 460 412 3780 3817 3814 3813 3801 10721 64 65 3800 75 67 6848 71 3451 413 6860 66 6856 3784 146 135 6885 107 6845 110 116 142 123 149 147 144 151 410 105 112 108 6888 139 130 126 397 70 87 103 133 85 6913 6924 6920 6927 6906 6903 88 97 91 95 92 98 101 249 267 264 333 318 297 369 378 381 282 384 246 231 228 387 351 372 312 354 252 336 291 285 225 288 375 339 294 315 236 221 278 212 356 254 326 239 6991 10773 10737 7039 7141 10765 7138 10727 10761 7015 10777 7000 10771 10739 7018 7051 10769 10741 10775 10767 10757 10751 271 235 220 214 256 307 7108 355 364 238 217 346 10785 10783 10729 7078 10735 10781 7102 7120 7048 7081 10755 7012 10763 7144 6994 7126 10745 10779 7105 10753 7021 10743 7054 7123 10759 10731 7099 7087 6997 10747 7135 7033 277 7057 10733 6986 233 269 347 215 299 272 260 257 323 359 308 329 344 320 275 362 218 302 365 242 341 6821 6789 6783 10691 6815 10675 6786 10663 6812 10677 10667 6795 6782 6813 10659 10689 6797 10671 10669 6780 6794 10681 6824 6810 10673 10683 6804 6785 6984 6978 157 160 7058 7068 7163 7113 7040 7044 7070 7023 7065 7071 7145 7073 7061 7116 7112 7115 7127 7157 7131 7089 7026 7095 7022 7151 7154 7146 7160 7149 7164 7161 7155 7167 7158 7152 7130 7067 7005 7004 7074 7059 7094 7109 7028 7025 7029 7166 7128 7088 7062 7007 7002 7008 7041 199 484 388 7259 184 7280 459 478 158 7289 404 208 511 448 192 198 205 194 173 169 455 6949 6953 451 94 6839 6843 68 118 443 82 78 6846 134 138 6893 137 6849 6882 140 136 143 6899 104 141 115 119 6886 6883 6863 6881 6865 6890 6894 6900 6898 6879 6872 6876 6965 7281 7186 6968 6973 10724 6980 6974 10722 6985 102 6875 99 90 96 6867 93 6870 497 10297 327 303 276 300 279 219 306 342 345 366 348 255 216 273 324 213 240 330 270 261 258 321 357 243 309 234 237 360 222 363 310 287 226 373 314 311 283 335 352 227 317 265 374 368 383 380 386 377 371 370 382 290 263 293 286 266 250 251 334 353 349 379 229 338 223 245 244 385 262 248 284 337 230 316 289 224 281 331 280 292 376 332 313 296 350 367 487 389 209 7147 7150 10750 10740 7082 7124 7100 10768 10784 7019 7031 10770 7117 10736 10756 10762 10748 7136 7093 7006 10780 7045 7072 10744 10726 7056 7096 7066 7009 10734 7052 7140 7060 10754 7159 7003 7162 7156 7153 6992 7079 6998 10776 7010 7139 3490 7027 7133 7024 10752 7121 10766 7063 7016 7069 10764 6995 7055 10746 7013 7014 6989 7034 10758 7103 7097 7030 10738 10772 10730 10760 7106 7114 7075 7118 7090 10782 7129 7037 7165 7046 7085 10774 7111 10728 7042 10778 7049 10742 10732 494 6945 6969 6966 6964 6981 6975 6979 7260 7258 7235 7231 7226 7253 3010 7271 2962 10296 10300 10298 10299 10301 159 477 3372 3327 3369 3375 3330 3345 3306 3302 3341 3338 3320 3323 3314 3335 3347 3292 3350 3311 6851 6847 6855 3031 3035 3299 3295 3365 3361 479 3317 3307 2959 3027 524 3007 3380 3383 519 3030 3378 2971 449 10294 3525 3526 3529 3017 1684 10310 10305 587 589 596 593 592 595 590 586 7264 10303 1301 1300 1302 1304 1306 1307 4700 1303 1309 1305 1310 1308 4699 4693 4698 1311 2099 2095 7207 6822 6833 6800 6779 6788 6798 10661 3821 6792 6838 6818 3818 6828 61 62 10282 3803 6842 3781 3454 2098 1686 42 10302 10304 3977 10556 3983 10564 10574 3986 10568 3980 10552 10538 3972 3973 571 3960 583 584 3966 4030 641 577 10569 3981 3982 591 10557 3979 10565 3984 10539 594 10575 3978 3985 588 10553 3976 3975 597 572 10560 3954 3951 3959 10306 3936 3939 3944 10308 567 569 1176 602 605 598 554 552 3962 3989 3995 10309 555 3941 547 550 3943 579 3967 562 3958 642 4029 10307 570 573 565 3956 3961 3974 3968 578 585 4031 640 599 10544 607 608 3991 3994 603 3997 609 3993 3996 3990 10561 10551 10571 10550 10570 3999 612 4000 10547 10546 10545 1572 1570 3998 604 3988 3987 600 606 601 3992 10573 611 4001 610 10572 4010 4007 617 619 613 614 616 620 10536 4004 10537 4005 10558 10559 621 615 4006 4008 4002 4003 618 4009 4581 1194 4582 10554 10555 1398 3250 622 4013 623 4016 625 626 5735 695 5734 2171 4588 1200 1195 4587 1196 4586 694 4085 4082 4061 6540 3061 5678 5672 5675 5656 5668 1781 5585 5579 5582 5575 3542 3503 3521 5563 10534 10535 3591 482 3570 491 453 5642 5733 2286 2264 2437 5825 6555 6545 5584 2196 2193 2190 2186 2174 6543 3156 1971 1974 1977 1967 1952 5729 2091 2085 2081 2060 5479 2057 2849 3070 5645 6591 1583 6544 2592 2586 2589 2582 6509 3202 3229 3217 6607 6480 6606 2571 2568 2565 2561 3091 2863 3175 2257 2726 2853 2856 2859 2736 2730 2733 2259 2456 2460 2444 2466 2463 3155 2643 2646 2346 3135 5826 2344 6032 3166 3911 6401 2890 3154 4663 4688 4682 4685 4678 4666 3100 6523 4777 3593 4084 4083 672 696 693 2799 3205 5975 5981 5978 5971 3177 6095 3530 668 3478 10295 4076 4052 3482 4080 4055 665 4047 683 662 3481 4062 3921 4068 686 4073 3485 4059 681 3919 4067 4063 660 689 3486 4045 3916 6491 4864 2864 2862 3120 3259 3589 5771 5765 5768 5746 5749 6188 3206 3836 5950 5960 5957 5954 6564 3557 3563 3560 3571 3812 3797 3298 3034 6765 475 3677 3764 3704 3740 3761 3641 10320 3733 3625 3690 3717 3715 10374 3735 10358 3646 3697 3664 10354 10356 10366 3688 10322 500 485 3473 3544 505 502 3872 3903 3590 3556 3559 3561 3562 3566 3558 3568 10312 3580 3586 3779 3599 10314 3585 3577 3584 3596 3576 3579 3578 3863 3848 3867 3844 3840 10315 3588 3573 3902 3868 3866 3701 3621 3732 3627 3645 10370 3657 3607 3687 3565 10334 3767 3603 3660 3622 3649 3751 6770 10352 3567 3628 3693 3754 3648 10350 3674 3569 3572 3555 3617 457 3773 3600 7101 6993 7047 7083 7053 7050 7086 7020 7017 7077 7038 6996 7107 7125 7035 7080 7122 7098 6990 3750 3758 10342 3630 3656 3691 3748 3604 10344 3736 10362 3635 3666 7104 7134 3564 7119 7011 7032 3680 3631 10338 3663 3546 3712 3744 10328 3753 10346 3686 3722 3696 3606 3908 3554 3551 3642 3624 10360 10364 3609 10330 3620 10336 3776 3725 3709 3610 3614 3743 3671 3711 3661 3653 10324 3543 3718 10318 3694 10368 10348 3667 3707 10326 480 3658 3547 3708 3745 3729 10340 3683 3770 3714 3638 3728 3730 10332 3601 3643 10316 10372 3747 3890 3837 1788 1791 1785 1683 1680 1677 1479 1482 1485 4873 1878 1875 1593 1590 1872 1565 1673 4981 1587 1749 1475 1868 1545 6631 3243 1845 2379 2382 2533 5770 2376 5924 2534 2372 5827 2439 2360 2256 2436 2838 5828 5923 2535 1844 5644 6299 6034 4751 5356 5360 5363 5366 4756 4565 654 3203 5732 6297 6542 5039 1682 5072 1592 5062 4982 4979 4976 5069 1589 4972 4954 6447 6452 3060 5066 5047 6238 6245 6115 6242 6119 6122 6248 6125 3334 3313 3322 5912 5914 5915 6608 6033 6448 3241 4934 4849 1484 4868 6632 4852 4874 4871 6444 6445 3057 4600 4603 4596 4592 5558 6269 4838 4781 6641 4784 4787 3054 2342 3291 2169 2168 6267 2880 6268 3039 2801 1190 1205 1187 1365 3242 6035 5264 5261 5257 5267 5236 1874 1877 2255 5327 5180 5170 1790 5174 5177 5474 5477 5480 2090 5470 1653 5144 1752 5043 5044 6227 3090 5231 5042 5045 5555 6596 10411 1202 1186 4577 1189 4602 10449 1209 1215 10489 1212 1204 4599 4597 4580 1201 4595 5423 1185 1178 1180 1177 1181 4839 5449 5913 2525 1753 5143 5234 5648 1942 2908 1944 2039 2038 5429 1941 2040 1452 5041 5140 1655 4840 6298 3151 5141 2645 2167 1754 5331 2909 5332 6249 2345 2526 1755 5333 1943 1651 5330 1940 1939 1751 1656 5233 5232 1750 1652 2934 1450 5446 5560 2195 2034 2288 6450 5941 1973 6524 2340 2378 1976 2381 5338 5962 4786 5179 1757 6458 2706 1460 5266 1658 5071 1392 1388 2438 2591 2570 2283 2892 2341 2357 6279 6280 1481 6479 6443 6489 6490 1449 2267 1463 3093 3134 3119 1847 6481 3053 3052 575 4015 4011 4012 624 4014 627 3965 574 10413 2087 2258 5647 5653 4937 2573 5980 1679 5146 2958 1269 4585 1192 4583 4589 4584 1198 1193 1206 1188 4593 1210 4575 10410 1208 1191 4590 10488 4601 4576 1211 4598 4604 4594 4579 1214 1213 4578 10448 3043 3048 1268 4042 1938 1787 3181 1298 1295 3065 3064 2441 3088 5854 5426 5959 2524 2037 2552 6557 2279 3219 6488 3063 6485 3098 3102 3095 648 651 2285 644 1397 2192 2858 2735 6229 1394 6106 5930 2545 6247 2840 1949 5365 6265 6264 6124 2717 3176 6451 2877 2528 2542 5925 2539 6101 6593 6522 6254 6547 2523 6266 3185 3189 2947 2876 6548 6535 6594 6595 3207 6541 6592 4039 581 653 650 3280 3281 3277 3278 3285 6096 1183 5646 6281 2891 4037 4040 4043 3964 4033 3153 3970 3184 3180 6668 1179 6671 6673 4041 6446 3118 3055 3097 4935 6999 10207 10495 10494 10206 730 4111 10579 720 4117 4107 4114 4113 729 731 4121 10247 726 4110 4116 723 4108 1280 1284 4671 4570 4566 4567 4574 4569 1199 1197 1203 4591 1207 6244 5944 5965 2555 2720 2588 2567 2576 2843 3260 1033 1034 1030 4413 1022 4429 4431 1654 2898 6284 2895 6287 6290 6508 6556 6507 5142 6442 4655 6435 6036 6278 6274 6477 3172 3168 3138 6441 3199 3145 6650 2953 4759 2951 2715 2896 2893 6276 2889 2867 6097 6038 2647 6102 2648 6103 6232 1661 5149 1370 1760 4957 1568 6109 5050 5661 2176 5568 2272 2274 2270 5176 5674 5362 5068 5263 5851 5476 5581 4978 4870 5956 5662 2181 5670 5660 5567 5569 2177 5577 2269 2183 5573 5666 5767 6121 5977 1367 6630 1395 4783 4841 6323 6426 6322 3059 1364 4848 1461 10404 1650 6449 2933 4842 1289 1277 4844 4752 3253 6649 3072 6321 6460 1362 4754 1363 2949 3040 3264 4680 4687 1451 4676 6417 6350 3914 4670 6338 3056 4672 4657 4684 3261 4571 4573 4572 3252 6672 4568 1279 1296 1454 4753 1286 1293 1299 1453 1274 4659 6333 6345 6648 6341 6639 1549 1184 1182 6432 6640 6437 3273 3051 4661 3269 4938 4939 1551 1546 2932 4846 4845 3046 6335 6337 1266 4940 4843 3272 4947 6330 4660 2944 1547 1455 1272 4952 3037 1550 6428 6677 3038 3286 6554 6562 6346 6344 5139 2950 2954 2948 1270 2946 1271 6513 5922 3126 6518 3132 3122 3127 3121 3128 3076 3073 3232 3158 3106 3111 3089 6619 2541 6468 6473 6474 1842 6627 3068 3231 6475 3167 3266 6512 1548 3244 3041 3249 3258 3254 5040 3245 3268 1843 6644 2253 3082 3240 3058 3083 6635 3081 3087 3236 6455 3067 6328 6618 1558 6637 6327 6320 3117 3228 3235 4944 6588 3147 3196 3161 3142 3136 3201 5425 6533 6528 6566 3094 3174 3163 6537 3164 3143 3141 3137 3195 3171 3191 6538 6568 6572 6575 6577 3197 3150 3113 3211 3212 6599 6602 3216 6519 6520 6514 3208 3223 3209 4424 4428 10203 1018 1026 977 4364 10201 981 10213 973 4368 1047 4434 983 4435 4373 4401 1014 4406 10209 1006 4397 10205 1010 1015 1016 1027 4421 1036 4432 4427 1028 1041 1031 4409 10211 1044 4418 1037 928 4310 919 923 10217 929 4319 10197 982 996 985 993 4376 10215 4380 989 10199 946 942 4330 935 4329 4326 10219 4322 947 10195 1001 1000 998 4384 4383 4388 997 4447 1059 4446 4338 4339 4334 1057 1051 1005 1056 4391 1048 1049 1052 4439 943 951 4444 4443 4392 4442 4393 4359 4458 1066 944 967 968 4358 10221 956 4350 960 4343 10193 4244 4239 963 952 4462 10223 4461 852 1072 4235 4347 4351 854 1063 844 4457 4459 853 10191 848 1074 4454 965 4451 1065 1061 1064 4355 964 4360 972 1067 1071 4467 856 4283 888 4251 4255 868 877 4276 1078 4466 4280 860 10227 10189 1075 892 1079 876 4254 4281 4263 4262 4268 4272 869 4469 885 1076 4247 4259 10225 893 4264 864 867 10187 872 4275 871 881 898 4293 902 4475 4301 10229 4476 910 914 4304 1081 918 4472 4296 1089 1084 4306 911 913 1082 4297 909 1085 4285 4284 890 889 4289 10185 4305 1087 906 4477 10230 10232 10233 10231 10234 10235 10236 10237 10239 10238 10240 10241 10243 10242 2885 2710 2882 6275 2884 2881 6258 6261 2711 6272 6191 2800 2709 6277 2530 2353 2900 6625 5739 2347 2352 2354 5744 2348 5649 2262 6478 3251 5329 2916 2913 1561 2935 2939 2943 2945 1552 5849 5845 5855 5852 2465 5830 2462 3099 6486 6487 5427 3257 2886 3218 2888 6293 2902 5738 5740 3144 3139 3200 3066 2349 2919 2937 1553 1555 1562 4946 1458 1560 1556 4943 4948 2926 2927 2931 2938 6331 3045 3047 3085 3238 6620 6563 5917 6286 5916 6273 6270 5939 6296 5919 6289 5743 5742 6288 3062 6283 2904 2901 6291 1554 2906 2922 6325 5444 1946 6300 6301 2043 2045 2929 2940 2942 6307 5435 5431 5440 2052 6314 5437 2054 2928 2930 2053 2924 5933 2055 2925 2048 2921 2051 2046 2918 6454 6457 6326 6329 2936 10408 1290 10486 4677 1278 4665 10446 1275 4662 3092 6453 6539 3149 3183 3179 3186 6578 6574 6571 3146 3213 3140 3210 3148 6565 3165 6552 6553 3178 6569 6573 6525 3173 5428 6317 2047 6319 2050 5442 1947 5335 5438 5443 2914 6312 2917 5441 5433 3096 5556 2041 5650 5921 5935 2527 6305 6294 6308 5937 2538 6313 6311 5918 5938 6295 2915 3124 6516 3129 6461 3131 6482 6463 6472 3230 2042 2911 3116 4851 10442 1464 6302 5432 6484 6483 6501 5434 6466 3071 1584 4971 10480 4674 4664 10409 1273 4686 10421 1369 5945 10445 4760 5955 2554 2910 2644 5677 2088 2036 5557 5138 2289 2035 2861 2860 2166 3204 6285 6304 2529 6104 2883 6099 2712 6098 2707 6100 6190 2870 2873 2868 2536 6189 2802 2879 6271 2920 5934 2894 2897 2912 2871 2907 2874 2903 6257 6259 2550 6250 6262 2254 2531 2899 2866 2547 2540 2543 5926 10214 999 991 995 10198 4382 1002 4374 987 4378 994 4399 4423 1020 4371 1035 10210 4395 1045 10200 4420 4422 4419 1029 10212 4366 4372 1032 4390 10204 4436 10208 4370 1017 4403 975 4426 4386 1046 4405 4407 984 1040 1008 4430 4362 4417 1039 4415 1042 1012 1024 1038 1043 979 4411 10188 4260 865 4274 879 4270 883 10186 887 10226 4277 4266 886 1080 4312 4318 10196 4308 930 4316 10216 921 925 4256 855 846 10190 10222 4463 4237 1073 4233 4243 850 4241 4245 10224 862 858 4253 4249 4265 866 4258 4464 4278 1077 954 969 10220 4345 4341 958 10192 4357 4349 4242 4261 873 4257 4465 894 870 875 874 4286 4282 4385 1055 1054 4394 4387 1050 1053 4437 4389 4441 1003 4440 4438 4445 1004 4336 948 962 4352 4331 4356 941 915 4303 1069 4460 971 4361 917 896 4279 891 895 4455 4456 4453 4353 4295 908 10184 4298 904 900 4302 4287 4291 10228 907 4471 912 4473 4307 4474 1086 1083 4478 4299 4449 933 4324 10218 10194 4333 4340 4332 4450 949 950 945 970 1068 1070 966 4354 4300 4470 916 1088 4468 897 937 931 939 961 10202 4416 4404 4425 927 4433 1062 1060 4314 1058 4448 4317 4337 940 4320 4452 4335 4328 780 4169 4183 4174 4166 795 777 4162 783 785 797 4187 796 4178 4180 4164 4181 4170 4182 791 789 4207 813 806 4188 810 4202 4193 4191 818 10178 4201 4483 4199 804 779 10182 801 4190 817 802 4482 4200 811 800 812 4197 4195 819 808 1094 4189 10179 4208 4484 1092 778 4481 4160 4479 10183 790 1093 10181 4167 4184 1091 4186 4480 773 4176 4168 799 798 787 781 794 4179 4172 1095 4185 793 10180 792 775 4158 1090 769 771 4210 4211 10177 4228 4218 10176 821 839 4205 4214 4222 4212 832 823 834 827 4223 4486 840 820 4203 814 815 4485 1096 4209 1098 838 4216 4229 829 4220 825 816 822 1097 4204 833 4487 831 842 4232 1101 1099 4489 836 1107 4231 4227 835 4488 4492 843 1103 4493 4224 4226 1105 4146 757 767 4148 10174 763 4499 761 4157 4498 4150 759 841 766 10175 1110 1104 1106 837 1108 4225 4500 4502 1117 1121 4511 1118 756 1125 1122 4506 4143 1131 4130 4516 739 4128 1120 1129 4518 4145 4144 751 4504 4501 749 747 4140 4138 753 743 4131 4126 744 4124 733 1128 735 742 4517 10172 1113 745 1111 4503 4142 1114 1115 4136 10173 4134 1116 1112 1124 1123 1119 4509 4510 4507 754 4508 737 4512 1127 4520 1130 10171 4133 4122 741 755 10170 1126 4132 4515 4513 4514 4505 4206 765 4497 1109 4496 4494 4221 4230 1100 4490 4155 1102 768 4156 4152 4154 4491 4495 4120 4119 727 721 724 725 722 4118 4112 10578 10246 4109 718 4115 719 728 732 10244 10245 4562 1172 4564 1132 1147 4538 4521 1134 1146 4530 1151 4536 1143 1141 1152 4528 4532 1144 1149 1135 4522 4539 4533 4537 4540 4523 4524 4526 1133 1150 10168 10169 1163 1166 4548 1153 4549 4547 4553 4557 1161 1156 1154 4544 162 84 165 1165 1162 4556 391 3851 3853 3452 3455 6418 3331 3786 521 3022 6415 6413 6409 6408 6407 7278 531 682 657 661 476 3802 671 692 4077 690 4056 669 4074 4053 3849 430 3852 3854 429 426 425 427 424 428 6791 10695 6825 7204 6837 10665 3488 3445 3442 4069 4044 3527 4048 57 60 51 54 2100 59 7206 7203 7238 7205 7202 4694 4697 5491 5492 4691 4696 6819 10687 6807 10685 6803 6806 10693 6809 3479 3491 3918 528 3401 676 3407 3410 3422 3404 3398 3392 10679 6816 6801 1471 5352 5253 5058 4968 5466 1579 5841 1294 5968 5757 2077 1777 1669 2275 5571 5166 10441 1567 4958 4977 10440 1569 4956 1588 10437 1366 10407 5947 5150 5175 4757 1759 2182 1864 1586 4773 1384 4782 2452 1474 4865 10483 4867 6112 2558 1387 4778 10485 1970 2373 5760 10472 5355 1968 4780 6235 4973 10481 1582 4975 2061 2086 5448 10426 1564 4955 10403 4980 1963 5067 10443 5450 5657 5051 4869 1462 10439 1660 4853 10423 10427 5475 2059 5673 2266 5065 5669 2175 2191 10463 5562 10424 1672 5671 10479 5063 2368 2723 4953 1566 10402 1591 1480 5750 10435 5766 5240 5262 2359 10429 1849 5564 10425 2173 5580 10447 4667 1276 4683 2719 6110 10433 5361 6120 5342 1285 10417 1951 2579 2846 1674 5061 10478 10484 4776 1391 1389 1676 5966 2842 10415 6243 6233 5850 2443 5834 10431 2575 10419 5976 5972 2581 10459 2587 2577 2731 2721 10414 2854 6108 10416 2844 6231 5964 10418 5762 5764 637 582 10450 649 3969 2566 10420 5943 2556 3971 580 10451 4038 4681 1288 10487 4679 10490 4032 645 647 643 10491 4034 4036 576 3963 10412 652 3942 714 716 1171 539 541 549 3932 553 546 3934 3940 3937 556 561 564 568 3947 3949 3952 3925 3955 548 3930 545 3938 3935 3928 551 543 4519 1170 1137 4541 4535 1148 1157 1145 1139 4534 4558 3850 462 7240 532 467 470 6925 125 6922 6904 6929 6896 3453 416 7197 7190 419 80 6912 6918 6915 7171 121 117 3522 3533 3536 3540 3514 3496 3517 3499 3512 3515 3856 3859 3466 3535 3538 394 3805 3793 3463 3581 3582 3594 3904 3875 10313 493 3878 3583 3587 3595 3574 7262 630 4018 10541 4017 492 7366 10962 10980 10964 7369 10950 10976 7372 10986 10968 7375 3493 421 417 3508 3532 399 6908 3798 3922 3448 3790 3443 465 6853 74 3504 3506 392 431 3782 3461 3510 411 128 6841 393 6840 3447 5485 5482 5481 5484 5488 2103 7174 7169 5658 5570 2273 5565 5663 5566 2271 5659 2178 1373 1374 4763 1372 4761 4762 5460 2070 5454 5467 5458 2064 2076 5462 5452 5464 2072 2071 2075 5465 2073 2069 2363 2067 5753 2078 2068 2065 5456 5463 2062 5459 2364 2063 5752 5453 5751 5451 5461 2083 5457 2079 5472 2066 5455 2074 5468 4025 4019 10540 4023 4021 4668 4669 1281 4673 1282 6598 3214 3123 6430 3263 6550 6657 6585 3169 6434 6597 6579 3188 3192 6493 3042 6429 3246 6546 6658 6655 3079 6549 6601 3237 3075 3255 6492 3086 3215 6609 3125 3248 3227 6470 3078 3080 3234 6624 3114 6465 6427 4847 5736 5741 6310 1456 2941 2260 4945 4949 3162 3108 3105 3247 6306 6303 6613 1559 5931 6292 5920 5439 6510 3049 5643 5730 6665 3115 3194 6471 3110 6436 6496 3084 6610 3222 3130 3225 6629 6440 6662 6476 6633 3193 3170 1557 4951 6315 3198 2923 1563 3159 6316 5430 6612 6570 5731 2549 6462 3133 6652 6469 6467 3182 5148 10436 1761 1786 1678 6561 3044 6621 5936 5932 6622 2714 2887 6253 2872 2583 10482 10444 1371 1393 4758 10432 1953 5664 1972 5340 6526 3226 6495 6502 6500 6511 6560 6584 6590 6600 6586 6617 6580 6605 6515 6536 6521 6517 6506 6456 3069 6464 6623 6504 3233 3074 3077 6505 3224 6503 6659 6645 3220 3112 6498 6615 6628 6626 4656 6642 6638 6647 1267 3050 3271 6459 5970 2585 1476 6251 6256 10458 1478 6651 4863 5928 5761 3107 6653 6656 2875 6336 3256 3267 3270 3262 6643 6634 5049 1662 10438 2732 2855 3187 6654 3274 1873 1851 5238 10434 5328 2343 2865 2546 5929 5927 2544 2537 2905 3239 3109 4658 3301 3340 3349 3293 3287 3275 6499 6551 6581 6309 1945 4942 2351 5737 5436 2049 5336 5651 2044 6334 4941 4950 6332 6324 1457 6282 2713 6037 2708 2649 6661 6433 6431 6438 6660 6439 6531 2350 2532 4936 5424 2261 6263 6260 6252 6255 2869 2878 6532 6530 3152 6636 3265 2377 5748 2361 10428 5832 2445 10430 2268 2284 5655 10422 2461 3104 6611 6614 6494 6589 6616 3190 6587 6582 3160 3221 6497 6567 6558 3157 6583 6559 6604 6603 6527 6534 6529 6646 3101 2548 6576 3103 2355 4106 4563 4695 4690 4689 2102 4081 4079 688 4058 664 4060 667 685 69 3783 1617 1615 1613 5005 1812 1810 1619 1620 5015 5004 1622 5014 5011 1633 1614 5017 1629 715 1175 3469 3808 3462 3458 77 7172 7221 7218 7194 7177 7214 6901 3446 3449 536 558 3953 560 563 3945 566 3950 3957 707 4692 710 703 2112 2111 2093 2096 2101 2110 6844 73 3441 3519 3528 2672 2617 2679 2681 6006 6008 2616 2619 2673 2682 2670 6007 6065 6070 6068 6060 6004 1338 4721 2223 2615 2618 2218 1522 2674 2226 2669 1516 4724 4907 5614 6000 6002 1333 1334 1330 2220 1507 4899 2613 1512 4897 1511 1331 1508 6003 6404 3575 6987 132 3592 7092 7091 7036 190 3382 3788 188 72 534 2963 191 3799 63 1956 1955 1954 2451 2446 1958 1962 1856 1852 1766 5158 5157 5153 1854 5159 5241 5251 5242 5249 1858 5244 5245 5151 1768 1769 1857 1765 1767 5152 1863 1861 1960 1859 1763 1764 1770 5154 5250 5155 5156 1762 2365 2449 5255 5259 1865 5345 5248 1860 5252 1862 1855 1853 5243 5246 5344 5343 1969 1965 1959 5351 5346 5347 1961 5353 1870 5247 1866 5254 2367 1376 4766 1375 4961 1571 5163 5162 5172 5168 1772 1778 5164 1771 1776 4965 1574 1573 1580 4964 4960 1578 4959 4970 4974 1774 4966 1773 5161 5167 5165 1775 1779 1783 5160 1675 1671 1666 5052 5059 5053 1667 1665 5057 4967 1577 4963 4969 1576 1575 1585 1581 4962 5842 2450 5836 2458 5835 2448 5840 2454 5056 1670 5060 5054 1664 5064 5055 1668 1663 1521 6066 2680 2671 6005 6001 5610 2676 2612 1513 6069 1517 1514 5609 2678 2228 2611 5618 2281 2277 5948 2578 5952 5665 2276 2179 5969 2366 2374 2370 5756 2184 2188 5973 5572 2557 5758 2180 10543 5847 5839 5843 5838 2453 2447 5837 2722 10549 6236 6240 10563 2845 6113 6117 4857 1469 1390 1380 4774 4772 1382 1381 4767 1386 4768 5754 2369 2362 5755 5759 5763 4859 1377 4765 4764 4854 1470 1466 1465 4856 4866 4858 1472 4862 5348 5350 5349 1957 1964 5358 5354 4775 4779 1378 4769 1385 1379 4770 4771 1383 6234 10542 2580 2728 2584 6111 5967 2563 10548 5946 2559 2851 10562 2847 2724 4855 1477 1468 1467 1473 4861 1287 1283 4675 1291 4022 636 4028 638 628 632 631 629 4024 4035 635 4027 646 633 634 639 4020 4860 4905 1510 1518 1519 1520 4901 1524 4722 1332 4734 4720 4730 1340 1336 1509 1515 4719 4727 1335 4723 1337 4896 4725 5391 5878 5399 1901 1900 5385 5389 2000 2494 2488 5881 2009 1997 2005 5875 5394 2410 5795 2412 2487 5794 2407 2418 5293 2417 5874 2772 6172 6206 2816 2498 5883 2491 2489 2490 2493 5800 2823 2767 6210 2820 5793 2818 5885 5888 5401 2496 5887 5884 5392 5880 5886 5021 5882 2495 2499 1999 4900 4898 5876 2497 2492 2485 2406 5798 2409 5796 2404 2408 2411 5522 2405 5520 5518 5517 2763 2758 2822 5799 5801 5797 2759 5294 5877 5879 2003 5403 2008 4026 1529 4904 5018 1635 1627 1631 4916 5022 4913 5010 5009 5016 5020 5007 5002 5024 1612 1632 1634 5008 5012 5003 1621 5013 1618 1624 5019 1623 1626 4902 4910 4903 1530 4906 4908 4915 1527 4912 4909 4917 1525 1523 4919 4911 4914 5006 1625 5001 1616 1817 1816 1818 1814 1815 2006 5310 1913 5397 2002 5297 1910 5292 1903 5301 5296 1905 5300 1914 1912 5303 1908 5407 1911 5302 1904 2012 2014 1907 2019 5404 2011 4810 1421 4812 1418 4807 1425 1423 4813 1422 1417 4811 1424 4808 1420 4814 1419 5104 1725 5100 5114 1719 1715 1723 1721 5112 1712 5110 1716 5103 5102 1717 5108 1718 5105 1724 5106 5111 1720 1713 5113 1722 2427 2426 2015 2017 5405 1998 5289 5290 5291 2013 2007 1917 2486 5390 5402 5388 5387 2001 1996 1902 2010 5398 5395 2004 5386 5393 5396 1909 5298 5295 1906 5299 4809 4806 5119 1728 5115 1714 5101 5107 1711 5109 5892 5906 5908 5889 2520 5902 2522 2506 5893 2507 2505 2515 5890 5897 5899 2511 2502 1821 1649 5026 1642 1638 5029 5033 1647 5035 5132 1748 5134 1737 1741 5125 1732 5118 5116 1733 1731 5123 1819 5128 1746 1825 1834 5221 1839 1841 5211 5225 1830 5202 5218 5216 5227 5208 5204 5199 5203 1813 1811 5206 5205 5201 5207 5200 1342 5607 5617 5612 5616 5615 5606 5608 2688 6058 5528 5530 2138 2150 2135 5529 2137 5525 2134 2148 2142 5527 5531 2140 2139 2141 2136 5524 5523 5526 2131 5533 5697 2314 2313 5700 2315 5698 2686 6061 6059 2684 2691 6077 6079 2128 5704 2311 2309 5702 5703 5699 2764 2762 2769 2770 2771 2129 2219 5621 2230 2234 2687 5519 2132 5521 2130 2217 5605 2216 2677 2675 6064 2683 6074 6078 5604 2689 2685 2614 5209 2222 2215 2221 2236 5613 2225 2224 6067 6063 2668 2308 6071 2312 2690 5701 2316 2227 2229 6062 6057 4726 5304 5305 1930 5321 5317 5308 1922 1920 5312 1921 5323 1926 1935 1937 5307 5314 1826 5212 1824 4818 4834 4816 1446 1432 1448 4828 4825 4815 4832 1433 1437 4819 4823 1428 1431 1441 5536 5535 2158 2145 5551 2165 2149 5542 2154 5549 2163 5540 5532 5619 2232 5408 2016 5545 5400 2143 5611 2133 5705 2310 2371 10465 5578 5576 2185 2189 5574 10476 1784 5169 1782 5260 5265 1846 5237 10397 1780 5171 10475 10477 1867 5173 5258 10462 2280 2278 1869 5256 1871 10474 10468 10464 10469 2187 2282 2375 5667 5341 5833 5334 6318 10454 2727 5949 6237 2729 2562 2457 2564 2850 2459 10466 2082 2084 10456 10460 2852 6114 5844 10470 5469 5359 5357 1966 10473 5953 5846 10461 2560 5848 5951 2455 2725 10467 6118 6241 2848 5471 6116 10457 2080 5974 10455 6239 10471 5473 1292 5747 10391 2356 5769 10393 5853 2032 5727 5792 4560 4717 2248 1610 1357 4932 1360 2810 1806 5696 5285 5339 2718 10378 2857 1444 2483 1933 2518 1898 2553 5383 2574 5478 10387 5561 2089 2058 2194 2442 5133 2434 2403 1505 2813 2754 2803 2737 1936 1995 4999 1709 5583 2664 4802 1543 5337 1948 10384 2380 5447 1681 5145 1789 1758 10398 2287 2170 2521 1648 5195 5229 5791 2213 5445 1848 2307 1230 6195 1264 5197 5000 2358 10390 5226 1174 2338 5693 5695 5745 2610 5516 2172 10386 5559 1659 10400 5046 10406 1368 4755 2841 6228 10376 1297 1396 1483 4785 10396 5235 5999 6056 2741 2609 2814 1413 2836 1232 1876 1994 5873 5288 5640 5136 4836 5940 10382 6105 6027 1808 4105 5910 1992 2029 5287 2481 5322 4997 5637 2251 5037 2214 2734 1416 4805 6030 5600 1233 1415 1261 5198 2265 5676 5829 5831 2701 1503 2666 2590 1540 5961 10380 2794 5418 10401 5381 1657 5070 1840 6225 1899 717 4103 10399 2263 2596 2607 1611 1329 5996 1809 4850 10405 5979 10379 5963 5942 6123 6246 10377 6107 10381 5958 6230 2716 10383 2572 2839 2551 1896 1975 1950 10394 2464 2440 10392 5724 4715 4892 5239 1850 2569 4749 4718 5820 1459 4872 1645 1756 2126 5048 5384 2161 2211 2641 5865 1447 5872 5602 5998 2484 2600 5553 2638 1707 4833 5034 6146 6203 6199 5789 2400 1744 1608 2747 2833 2335 2124 4746 1506 4804 5652 5654 10389 10385 5421 6186 5870 5907 5823 2745 4650 2811 2756 2806 1328 1326 4895 5099 5325 5603 4894 2306 6093 4653 2304 2402 10388 5178 2056 4929 4622 4619 2431 5364 10395 1837 5147 2623 5406 6016 2624 2628 6011 2620 6014 6020 6029 2621 2630 6015 2637 6031 6024 2639 2633 1918 1923 1916 5306 2022 2026 2031 2033 5410 2018 5413 5419 5417 4729 4736 4728 4738 1359 1350 1361 4747 1346 1345 1354 4741 4745 4732 4731 1344 1341 6075 6073 2336 2325 2334 5717 2330 5721 2327 5726 5728 2321 2317 5713 5711 2832 2777 2781 2784 2834 2795 2793 2698 2703 2705 2694 6089 6091 1349 1352 4739 4733 1339 1358 4748 4743 1347 4735 1343 4750 1356 5708 2318 5712 2320 2030 2021 5415 5411 2024 5420 5422 2028 6204 2821 6223 6214 2817 2837 2835 6221 6208 2830 6217 2826 6207 6205 6212 5626 2231 2233 5624 5625 2247 5641 5630 2240 5639 5634 2243 2238 2249 2693 6092 2702 2700 6087 2696 6094 6083 2235 2237 2319 2608 2665 5097 2765 2773 2761 6201 1708 1743 5137 1745 5135 5326 5315 5319 1919 5309 1934 1932 5324 5311 1915 1925 1928 6009 6013 6019 2625 2627 6028 6022 2631 6010 6026 2640 2642 6012 6017 2635 2622 2626 5808 5809 2413 2432 2423 2421 2430 5822 5804 2416 5817 5807 5813 5824 2414 2782 2760 6159 6151 6163 6153 6162 6166 6147 2787 2768 2766 6165 6150 6154 2779 2791 6173 6175 6158 6148 2796 6182 2798 6184 6160 6170 6178 2775 2780 2783 2778 2162 5554 5552 2160 5543 2153 2147 5537 5539 5534 2151 2144 2146 5538 6076 6072 5997 6144 2328 5719 5714 5716 2337 5725 5723 2332 2339 2322 2323 5707 5709 5547 2305 5196 2755 2812 2156 6085 1445 4837 1443 4835 5228 4931 1541 1829 5223 4933 1838 1539 1836 5230 1832 5215 5214 5219 5210 1827 1822 1820 5213 1823 2125 5514 1644 5036 1646 5023 5031 1630 5038 6149 6171 2500 2501 6185 6226 6224 6187 1807 2212 6082 6080 5821 2435 2433 5819 5815 5803 2424 5810 2415 2419 5806 5802 5805 2428 5812 2420 4803 1414 5694 6054 4928 1544 4930 1542 1327 4716 4893 5620 5627 5622 5632 5623 2245 5636 5638 2252 2250 2241 5629 5706 5710 2324 4638 1248 4629 4625 1242 1238 4624 4551 4555 4542 1164 1160 1168 4545 1155 1159 4552 4543 1158 4546 4550 4559 1167 4554 1169 4561 4104 1173 1247 1236 1240 1241 4630 1234 1254 1250 4626 4627 1237 4623 1235 4628 1239 4631 1252 5601 4645 4642 4636 1245 4644 1259 4641 1257 4651 1265 4649 4633 4635 1258 4632 1249 4640 1263 4620 1355 1353 4737 4740 5027 5382 1993 1348 4742 1351 4744 1442 4923 1538 1536 4920 4824 1440 4827 1643 5028 5025 1641 4998 5286 1504 6213 6216 2790 5313 5316 1931 2027 6177 5127 2244 5871 5790 2246 5628 1740 1742 5631 1835 5124 5220 1833 5412 6174 2025 2831 2429 2792 5811 2829 5541 2159 5544 2157 6084 2699 5409 6021 6081 2697 5217 1929 5814 1897 5030 5320 1927 5318 1831 2331 2514 2422 2425 2401 5818 5816 5414 2020 5901 2023 5416 1609 5898 2516 6018 2636 2333 5715 2634 5718 2329 2155 5222 5546 2152 1924 5224 5548 5032 1639 1636 5722 1828 5720 2326 1531 4925 4927 1534 4831 4829 1435 1438 1640 5129 1738 5131 6088 2692 2695 6086 6025 1735 6181 2242 5633 2632 6220 6218 6023 2827 2788 2239 2824 2785 2629 6179 5635 1628 1637 1533 4921 4924 1528 1537 4826 1726 5120 5121 1532 5122 1526 5130 1434 1429 1727 1436 1439 5117 1535 4918 4830 4820 4821 4922 4817 1739 5126 4926 1426 1730 1736 1734 1430 1427 4822 1729 2819 6164 2828 6215 2512 2517 6180 4637 1243 1262 1255 4643 4652 1244 4646 2482 5905 2509 4654 4648 5903 5909 2519 5911 2504 5891 2508 5900 2510 5895 4647 4639 1260 1256 4634 2503 5894 2513 5904 5896 2789 2774 2786 2776 2825 6155 6211 6169 6152 6209 2815 6168 6167 6161 6156 6157 6176 6219 1246 1251 1231 1253 4621 1710 1747 5096 2127 5098 5515 2164 6200 6055 6202 5513 2757 2797 2704 2667 6053 6145 6143 5550 6183 6090 3308 3332 3362 3360 3364 3352 3356 4075 4070 4072 687 663 658 684 678 691 670 679 4051 674 4049 4054 666 4078 4057 656 3843 3023 3021 3013 3016 6934 6932 7266 7263 6963 161 6937 489 513 515 7143 6936 6933 6935 450 454 7268 7277 7272 7252 3014 7269 520 509 507 504 7282 7285 501 7279 7254 7227 7287 9742 523 6353 3896 3898 3893 6678 6679 6701 6698 6704 6766 6762 6718 6763 6759 3881 3839 3841 6731 6733 6756 6737 6740 6728 6760 3887 3884 6732 6722 6710 6725 6707 6715 6713 3897 3316 109 150 152 131 106 129 111 113 6926 6905 6902 6887 6923 6884 6891 6889 3838 456 458 2960 10948 9760 10952 2984 2981 2987 7378 7405 7402 2980 10982 10966 2986 10972 10984 7390 10958 10956 9763 10970 2991 10978 7381 2983 7399 7393 7384 7396 7387 10567 6377 6689 6692 6425 6686 6683 6693 6694 6422 3310 6717 6714 6940 7297 6943 6862 6391 6379 2993 9776 9767 9780 6387 9772 6362 9783 3000 6414 6398 6383 3008 9787 3006 6394 9751 3003 2977 10453 2996 2992 2978 6386 6368 7363 10718 7333 10716 9782 10825 7351 9754 2974 7348 2975 10493 10717 2995 10719 6390 6388 10713 10715 2965 2966 7471 10714 7474 6357 9746 10712 7450 452 498 495 7319 7317 7342 7331 7346 7339 7314 7334 7324 7310 7327 6747 508 442 469 7236 7228 7234 3355 6748 6743 6752 3353 6746 6755 6757 7247 7249 7222 407 405 7251 7178 7198 7224 7200 415 418 7181 6928 3534 403 446 3513 3518 6930 127 6909 3520 7185 3498 3495 3537 124 3539 3500 3541 3516 7220 3502 6907 7183 148 444 145 422 439 466 7196 420 7193 7217 473 6859 400 3468 3465 471 3794 7244 3796 3831 3858 3809 3811 3807 81 83 6857 3828 3792 3855 76 6854 3789 1689 1688 6917 122 120 6911 3476 3492 3531 3507 3511 3524 3505 3474 3497 3494 3501 3509 86 7170 7250 7245 7246 7180 7184 7216 7211 435 7219 437 7239 7223 445 441 398 396 438 402 406 7242 7176 468 472 7248 464 1685 3833 3835 3860 3862 2751 2753 1321 2208 2399 2210 2397 5784 2303 5688 2301 2395 5788 5786 4714 4712 5091 1706 1704 5280 4887 1500 1895 1502 1803 5991 4992 1605 1607 1989 1991 5277 1893 6138 5376 5190 2606 2604 1805 1410 1412 4797 5194 1801 1891 2659 5378 5282 5192 5093 5995 6050 1408 4801 1987 4799 5380 4994 2602 79 7328 7332 7345 7347 7330 7343 3459 7179 1687 7187 7195 7192 7188 7199 7191 7189 7182 7213 7215 3450 3829 3795 3826 3824 3806 3810 6864 2653 2657 6142 6140 1323 1325 4102 709 4100 4616 1225 6197 713 711 4098 4794 4884 2092 2293 2297 1227 1229 4614 2808 6048 2663 2661 5508 2121 2123 1600 1798 1405 2296 5781 2392 3791 433 3825 3785 3787 3834 3827 3830 3822 3823 3857 3861 7325 7442 7463 4086 4088 6222 5597 2656 2206 6135 5867 5869 2476 4891 4889 7445 7466 2299 2480 2478 5692 5690 5595 5685 5599 6052 2749 2119 4989 4618 7340 5993 1699 2203 1222 4707 5505 5988 6045 5088 706 1318 5187 4611 5095 5510 1888 2599 5284 4996 5512 1702 1603 4095 2116 1498 1495 2473 5592 5373 1984 3832 7459 7461 7464 7440 7443 7438 395 7446 7467 9745 9747 6358 7436 7441 7452 7321 7329 7323 7341 7338 7344 7336 2970 6356 2972 7465 7457 7456 7462 7444 7469 7434 7448 6192 2388 2387 2106 2200 6042 5494 5495 5686 6136 6126 6130 5506 6134 5501 5374 5985 5777 2114 5682 2117 2393 5989 2204 5863 2390 1880 2474 2389 5377 2385 4795 1692 1319 4877 5077 5073 5076 1691 4990 5075 5089 5188 5078 5081 5278 4879 4883 4885 5370 5270 1406 5184 1402 5274 4881 1881 4793 1700 4876 1985 1889 1601 1799 4708 698 697 1488 4875 1981 1879 5079 1597 1496 1885 1795 2470 1696 1492 4800 4796 4087 1223 699 4101 702 4089 4097 704 4094 4096 7447 7470 7468 7449 705 4091 712 700 708 4711 2746 5862 4710 7326 4610 1315 5689 5509 5782 5779 5191 5503 4704 6046 5859 5085 4608 6139 1216 4607 1224 1228 4609 1217 4791 4093 4703 1317 4705 1320 4099 2743 6127 5186 5861 5773 5780 2651 2655 6039 6044 2744 5087 2739 6129 2742 1886 2104 5271 5084 5086 1693 1411 1978 1399 4987 2294 5371 1599 5369 2292 4792 5868 2386 1598 2469 5864 1486 1497 4880 1494 5776 5269 1884 1501 4788 5189 1401 1882 1890 1894 1487 1409 4790 5679 5687 2105 5500 5499 5275 1983 5082 1986 5090 5856 5691 1594 1403 1796 5181 5193 5283 5279 5772 1794 1698 1705 5094 1697 1695 1990 2115 2598 5984 5986 5268 2202 5493 2593 2601 2605 2650 6041 6043 2479 2467 2468 2475 2662 2108 2748 2752 5858 1979 2472 5683 2302 2205 5498 2809 2805 2122 5590 2197 5588 5681 2290 2298 2107 2118 1595 5372 5367 1982 1980 5375 5379 1988 4615 4789 1313 5857 1703 5787 5783 5272 5987 5990 5994 2595 5982 5504 5497 2109 5496 5507 2113 5511 1802 6131 6133 5983 2300 6132 2740 6128 2738 6137 6141 2750 4709 4702 1314 4713 4993 4888 1322 5596 5281 6049 5785 5992 4613 5185 5183 1804 1792 1797 4984 1400 4886 1499 2384 2391 2398 2394 2383 5774 5778 5591 5586 5598 5594 5587 4090 1220 1218 4605 2477 1226 5083 6040 1604 1892 2603 6047 2654 2652 6051 2396 2120 5680 5368 6198 701 2207 3804 2660 4606 1219 1602 5860 2594 1793 5182 5589 5593 5775 2471 4890 1493 2295 4988 4983 1596 2209 4882 1606 5074 4991 1490 1407 5092 4986 4612 2597 2199 5502 1491 4985 2658 1694 5866 4092 1690 2291 5273 1489 4995 1312 4701 4706 4878 1404 1887 4617 5276 1324 1883 1316 1701 6194 2201 5684 5080 1800 4798 2198 434 3475 7212 7290 328 6897 343 7043 274 301 322 298 340 390 7064 211 7001 241 7110 325 361 253 268 259 319 232 7148 358 7293 6858 7291 7267 10989 163 247 7137 295 7132 7142 1221 7076 7265 10154 10159 10163 6774 9803 6938 6939 6941 6942 6777 10997 10164 10166 10577 10995 10993 3389 7296 10988 7295 6861 9807 0
168.69/168.78
168.69/168.78 c Core has size 7294
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-3495788-1307808329/watcher-3495788-1307808329 -o /tmp/evaluation-result-3495788-1307808329/solver-3495788-1307808329 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495788-1307808329.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.01 3.65 3.48 5/189 16350
/proc/meminfo: memFree=30259940/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=12900 CPUtime=0 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 778 0 0 0 0 0 0 0 25 0 1 0 892435281 13209600 555 33554432000 4194304 4365125 140735948283568 18446744073709551615 212435635798 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 3341 621 262 42 0 489 0
[startup+0.0181809 s]
/proc/loadavg: 4.01 3.65 3.48 5/189 16350
/proc/meminfo: memFree=30259940/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=13656 CPUtime=0.01 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 1026 0 0 0 1 0 0 0 25 0 1 0 892435281 13983744 701 33554432000 4194304 4365125 140735948283568 18446744073709551615 4242708 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 3414 701 263 42 0 562 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13656
[startup+0.101199 s]
/proc/loadavg: 4.01 3.65 3.48 5/189 16350
/proc/meminfo: memFree=30259940/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=16620 CPUtime=0.09 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 4082 0 0 0 9 0 0 0 25 0 1 0 892435281 17018880 1438 33554432000 4194304 4365125 140735948283568 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 4155 1440 263 42 0 1303 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16620
[startup+0.301156 s]
/proc/loadavg: 4.01 3.65 3.48 5/189 16350
/proc/meminfo: memFree=30259940/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=31264 CPUtime=0.29 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 15647 0 0 0 28 1 0 0 25 0 1 0 892435281 32014336 3762 33554432000 4194304 4365125 140735948283568 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 7816 3762 263 42 0 4964 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31264
[startup+0.701071 s]
/proc/loadavg: 4.01 3.65 3.48 5/189 16350
/proc/meminfo: memFree=30259940/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=46792 CPUtime=0.69 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 27786 0 0 0 67 2 0 0 25 0 1 0 892435281 47915008 8163 33554432000 4194304 4365125 140735948283568 18446744073709551615 4250084 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 11698 8163 263 42 0 8846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46792
[startup+1.50093 s]
/proc/loadavg: 4.01 3.65 3.48 5/190 16351
/proc/meminfo: memFree=30017420/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=79740 CPUtime=1.49 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 56733 0 0 0 144 5 0 0 25 0 1 0 892435281 81653760 14412 33554432000 4194304 4365125 140735948283568 18446744073709551615 4248438 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 19935 14412 263 42 0 17083 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79740
[startup+3.10063 s]
/proc/loadavg: 4.01 3.65 3.48 5/190 16351
/proc/meminfo: memFree=30226112/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=180652 CPUtime=3.09 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 98173 0 0 0 299 10 0 0 25 0 1 0 892435281 184987648 32420 33554432000 4194304 4365125 140735948283568 18446744073709551615 4244666 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 45163 32420 263 42 0 42311 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 180652
[startup+6.30101 s]
/proc/loadavg: 4.01 3.65 3.48 5/190 16351
/proc/meminfo: memFree=30113648/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=392116 CPUtime=6.29 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 262194 0 0 0 605 24 0 0 25 0 1 0 892435281 401526784 61596 33554432000 4194304 4365125 140735948283568 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 98029 61596 263 42 0 95177 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 392116
[startup+12.7008 s]
/proc/loadavg: 4.01 3.66 3.49 5/190 16351
/proc/meminfo: memFree=29707788/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=543860 CPUtime=12.69 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 439627 0 0 0 1226 43 0 0 25 0 1 0 892435281 556912640 92557 33554432000 4194304 4365125 140735948283568 18446744073709551615 4244619 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 135965 92565 264 42 0 133113 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 543860
[startup+25.5004 s]
/proc/loadavg: 4.01 3.67 3.49 5/187 16646
/proc/meminfo: memFree=30239208/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=574580 CPUtime=25.49 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 457880 0 0 0 2504 45 0 0 25 0 1 0 892435281 588369920 106506 33554432000 4194304 4365125 140735948283568 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 143645 106506 264 42 0 140793 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 574580
[startup+51.1006 s]
/proc/loadavg: 4.00 3.70 3.51 5/190 16694
/proc/meminfo: memFree=29789408/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=586864 CPUtime=51.08 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 532756 0 0 0 5055 53 0 0 25 0 1 0 892435281 600948736 108104 33554432000 4194304 4365125 140735948283568 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 146716 108104 264 42 0 143864 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 586864
[startup+102.307 s]
/proc/loadavg: 4.00 3.75 3.53 5/190 16696
/proc/meminfo: memFree=29532304/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=596356 CPUtime=102.29 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 747386 0 0 0 10148 81 0 0 25 0 1 0 892435281 610668544 103864 33554432000 4194304 4365125 140735948283568 18446744073709551615 4245187 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 149089 103864 264 42 0 146237 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 596356
[startup+162.3 s]
/proc/loadavg: 4.00 3.79 3.56 5/190 16697
/proc/meminfo: memFree=29476640/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=493960 CPUtime=162.29 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 1021424 0 0 0 16116 113 0 0 25 0 1 0 892435281 505815040 91185 33554432000 4194304 4365125 140735948283568 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 123490 91185 264 42 0 120638 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 493960
Solver just ended. Dumping a history of the last processes samples
[startup+163.1 s]
/proc/loadavg: 4.00 3.79 3.56 5/190 16697
/proc/meminfo: memFree=29389220/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=491912 CPUtime=163.09 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 1027817 0 0 0 16195 114 0 0 25 0 1 0 892435281 503717888 90928 33554432000 4194304 4365125 140735948283568 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 122978 90928 264 42 0 120126 0
Current children cumulated CPU time (s) 163.09
Current children cumulated vsize (KiB) 491912
[startup+166.301 s]
/proc/loadavg: 4.00 3.79 3.56 5/190 16697
/proc/meminfo: memFree=29371840/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=493960 CPUtime=166.29 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 1028042 0 0 0 16515 114 0 0 25 0 1 0 892435281 505815040 91153 33554432000 4194304 4365125 140735948283568 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 123490 91153 264 42 0 120638 0
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (KiB) 493960
[startup+167.9 s]
/proc/loadavg: 4.00 3.79 3.56 5/190 16697
/proc/meminfo: memFree=29544200/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=493960 CPUtime=167.89 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 1028042 0 0 0 16675 114 0 0 25 0 1 0 892435281 505815040 91153 33554432000 4194304 4365125 140735948283568 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 123490 91153 264 42 0 120638 0
Current children cumulated CPU time (s) 167.89
Current children cumulated vsize (KiB) 493960
[startup+168.306 s]
/proc/loadavg: 4.00 3.79 3.56 5/190 16697
/proc/meminfo: memFree=29544440/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=493960 CPUtime=168.3 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 1028042 0 0 0 16716 114 0 0 25 0 1 0 892435281 505815040 91153 33554432000 4194304 4365125 140735948283568 18446744073709551615 4257861 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 123490 91153 264 42 0 120638 0
Current children cumulated CPU time (s) 168.3
Current children cumulated vsize (KiB) 493960
[startup+168.7 s]
/proc/loadavg: 4.00 3.79 3.56 5/190 16697
/proc/meminfo: memFree=29544440/32951124 swapFree=67050520/67111528
[pid=16350] ppid=16348 vsize=493960 CPUtime=168.69 cores=4,6
/proc/16350/stat : 16350 (MoUsSaka) R 16348 16350 14141 0 -1 4202496 1028042 0 0 0 16755 114 0 0 25 0 1 0 892435281 505815040 91153 33554432000 4194304 4365125 140735948283568 18446744073709551615 4272215 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16350/statm: 123490 91153 264 42 0 120638 0
Current children cumulated CPU time (s) 168.69
Current children cumulated vsize (KiB) 493960
Child status: 20
Real time (s): 168.798
CPU time (s): 168.8
CPU user time (s): 167.642
CPU system time (s): 1.15882
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 844296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.642
system time used= 1.15882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1028047
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 219
runsolver used 0.308953 second user time and 0.615906 second system time
The end
Begin job on node102 at 2011-06-11 18:05:29
IDJOB=3495788
IDBENCH=89229
IDSOLVER=1989
FILE ID=node102/3495788-1307808329
RUNJOBID= node102-1307807882-15965
PBS_JOBID= 13551074
Free space on /tmp= 74144 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/chen/fdmus_v100/fdmus_b20_349.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495788-1307808329/watcher-3495788-1307808329 -o /tmp/evaluation-result-3495788-1307808329/solver-3495788-1307808329 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495788-1307808329.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= f65f7c4c6dcde63be85a6e6efcf980d5
RANDOM SEED=585490470
node102.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.828
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.65
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.828
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.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
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.828
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.828
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.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30263716 kB
Buffers: 296632 kB
Cached: 923424 kB
SwapCached: 25172 kB
Active: 1747924 kB
Inactive: 730564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30263716 kB
SwapTotal: 67111528 kB
SwapFree: 67050520 kB
Dirty: 472 kB
Writeback: 0 kB
AnonPages: 1255820 kB
Mapped: 9760 kB
Slab: 141960 kB
PageTables: 7780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1694616 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= 74052 MiB
End job on node102 at 2011-06-11 18:08:18