0.00/0.00 c MoUsSaka vegetarian
6.29/6.39
6.29/6.39 s UNSATISFIABLE
198.70/198.74 c Core is minimal
198.70/198.74
198.70/198.74 v 405 408 10695 10693 10700 10702 10698 10714 10704 10712 10708 10710 10706 10716 10720 10718 403 404 10692 10688 10694 10690 10696 3956 10701 10703 10699 10705 10689 10691 10697 6 9 12 3 10707 10711 10715 10709 10713 10719 10717 10721 3554 10727 3552 3553 406 10726 10728 1 2 407 3955 3954 398 10724 10722 401 394 3959 397 395 400 391 8 11 7 10 4 3557 3560 5 3563 28 26 25 29 23 22 3957 3958 392 10729 3950 3953 3947 3944 3986 3656 4004 3659 3665 3662 3998 4001 3983 3980 3995 4007 10723 3992 3989 10725 427 27 24 30 38 34 37 40 35 32 41 3948 3945 3951 3943 3952 3946 3949 3942 439 434 436 442 430 451 112 449 452 110 433 431 107 428 448 454 443 437 440 104 109 446 445 106 113 103 455 518 517 429 459 424 425 494 4005 3981 399 396 393 402 423 420 414 384 381 387 417 390 411 505 516 509 4003 4006 453 456 432 450 105 441 108 111 114 444 435 438 447 512 3985 3987 3999 3991 3993 3988 3994 3979 4002 3982 3996 3984 3655 3664 4000 3657 3658 3663 3654 3660 3997 3978 3990 458 464 468 461 3661 519 3562 3556 3555 3561 3559 3558 3973 3977 426 4105 10730 507 4106 462 466 510 502 514 10731 554 561 556 3976 4112 418 389 422 3935 3962 383 415 3941 3932 3974 386 3975 3968 3971 3965 413 3938 410 385 421 388 382 412 419 416 379 409 380 558 560 4058 4107 4053 4104 3969 3940 3934 3937 3608 3606 3607 10733 3603 3610 3609 4108 568 564 4110 538 3931 3964 3967 3961 3972 3960 3963 3936 3930 3939 3933 3966 62 58 4056 56 3580 3574 3577 3573 3576 3579 10751 4012 4019 10849 7097 766 3549 770 3541 3544 4317 4321 4320 3915 4073 4076 491 487 10750 4121 4133 4017 4013 500 490 497 4077 4087 3844 4081 4084 4091 4074 552 4075 506 4065 4061 4067 10732 481 485 488 482 493 484 3575 3581 3578 4325 3597 3570 3586 3595 3568 3598 3571 3594 3564 3591 3589 3585 3588 3582 3592 3583 3567 473 479 476 4052 4040 4037 472 469 4046 4028 4015 4063 4069 4031 4103 65 543 546 550 3970 4125 4129 4068 587 4138 4136 3615 4070 578 582 574 585 4123 4127 4131 3883 586 3916 10737 349 10739 3906 365 10741 668 728 758 731 764 3878 3911 10736 367 10738 3900 355 324 360 330 3881 327 769 364 152 331 75 72 4306 4318 4309 4308 356 3918 4299 4312 3923 3779 10740 3913 4246 754 763 662 654 658 767 671 332 665 726 674 761 362 10959 3875 4302 3927 4311 3928 372 4315 376 228 4303 4243 3794 10958 243 3601 4122 4132 4130 4089 3613 3565 4115 4101 4097 4119 4094 4010 3616 4060 496 475 504 499 4043 4049 4034 4022 470 4114 4117 4025 4093 478 4054 4099 4008 4096 4071 4072 486 492 489 495 483 4078 4086 4080 3840 3843 4083 191 136 3612 16 20 47 44 43 19 457 55 59 14 17 144 148 141 4079 3845 4088 4090 4085 4082 3842 64 52 97 101 68 1017 1033 1034 1030 4583 3728 4586 3725 4574 4364 4580 4367 4571 4568 4577 4589 2193 1019 1015 811 1027 1024 1021 1025 812 814 1028 815 1022 2191 1018 4051 4587 4592 189 192 477 480 4048 503 4033 4039 4038 4035 4050 4032 474 498 501 4023 4029 4045 4044 4027 3731 4026 4047 4030 471 4021 4055 4042 70 73 71 74 1020 813 1023 816 1029 1026 174 177 1032 1035 1038 176 3516 3498 3537 3534 3501 3531 3231 3477 3540 1031 173 172 175 1037 1036 1041 6045 6047 2192 1016 344 768 627 711 666 729 363 732 660 750 357 762 609 366 606 624 756 359 690 672 696 642 714 765 693 663 614 632 707 704 677 593 701 698 650 369 353 590 722 719 743 620 656 611 596 599 652 10811 4172 3905 4250 613 679 4277 4148 706 4199 649 4256 682 340 3901 4238 3893 4235 10775 4169 10765 4289 4166 10781 10801 351 718 10757 4295 4253 655 10791 10813 724 610 10803 685 4232 634 10753 589 637 4145 10809 4229 10787 4142 3926 736 10777 595 10805 646 4260 4242 4155 4215 4239 4245 4221 4177 338 328 3898 153 343 3912 4297 4158 4300 325 4173 334 329 4240 4180 4279 4174 4281 4209 4156 4261 4267 374 700 150 598 4176 631 10779 647 747 4224 733 725 4263 4151 10789 10783 742 341 4292 10793 3890 371 734 10785 653 3897 759 669 4286 10734 4282 4208 4187 4219 4274 4212 10767 4194 4190 4213 4222 4278 10761 3896 10769 4305 10799 4314 10763 4191 3907 4216 4225 4184 4210 4192 4202 10771 4195 4218 4159 333 676 10815 630 378 740 4152 680 358 10755 4163 753 603 771 721 10773 4137 4153 3545 10807 370 635 739 348 4271 686 3887 335 703 638 592 10797 617 373 10795 675 4296 4266 619 697 4259 4179 717 616 4264 352 10759 337 588 645 683 4205 737 559 555 3611 3605 33 42 39 36 21 45 48 15 3566 57 553 3572 3596 3602 3617 3614 51 11115 7557 7545 7542 7539 7554 11114 11111 7658 7550 7536 3587 3599 3569 3593 3584 3590 49 50 61 294 291 4579 4588 5355 5350 5351 4585 3727 4572 3726 4581 4584 4582 4576 4366 4365 3723 3724 4362 4578 5354 5357 3861 219 4009 3692 286 274 10735 237 275 3687 208 317 320 3835 3703 183 3805 3647 312 3798 3811 3864 236 67 315 3808 265 282 180 322 3868 90 276 3765 3770 3635 224 3625 3772 239 3788 3871 3641 270 3644 3621 3624 273 3829 318 3818 3695 297 288 87 3785 84 3763 3814 96 279 93 3699 3651 3622 221 3773 218 3777 216 3866 313 267 3873 303 285 186 309 263 3832 167 164 4437 4500 886 4494 943 938 949 11119 11118 7163 7167 7171 310 3759 306 3737 3734 3638 300 3787 3810 222 266 3882 170 271 3802 3838 234 241 3792 4567 4566 4363 4575 4573 4569 4570 3600 3837 3822 3825 4420 4417 4414 4411 4351 4348 4419 4344 4501 885 10746 10748 855 4432 944 10747 4436 4353 4357 945 4360 888 951 4406 10749 4496 4092 3181 3506 773 3521 3463 3473 3235 3469 3512 4319 4139 3929 4310 4313 4283 4244 4247 4268 3892 350 3899 4178 4160 4214 4175 4223 4196 4193 4226 4211 4220 4280 3885 346 3889 336 3925 4322 3914 3920 3886 3922 694 10772 4227 760 757 4249 10752 354 4284 695 709 752 730 692 691 755 751 4269 710 716 749 681 748 688 10784 689 10800 741 10776 4287 10782 10794 10774 4254 4290 10790 10786 705 10792 684 4251 745 712 713 10788 4168 4291 4201 4147 4276 4183 4228 4171 4207 4150 4255 4270 3888 347 3894 4272 10798 10796 727 3909 361 715 699 4248 607 591 673 667 644 4140 3879 3880 604 615 601 664 643 612 600 629 594 628 618 633 648 641 622 670 623 608 659 661 626 605 625 602 4164 10766 10756 10762 4206 10770 10810 4170 4167 10806 10812 10760 4203 4161 4188 4143 375 377 10754 640 10768 3701 4230 678 4275 10808 723 10764 4273 3903 4204 687 4231 4149 746 744 4307 3904 4293 4252 342 3917 3884 3908 4146 345 4257 4157 10758 4237 3876 4285 4200 4258 651 4298 4316 3910 4241 4198 4181 636 708 639 4189 4294 4162 4262 4141 3895 339 10780 4165 10814 4301 720 4185 4265 4154 4234 702 4288 4186 4144 4217 738 657 4182 10802 3902 735 3891 4197 10778 3924 4236 4233 3921 621 4304 10804 3704 597 3491 3094 3517 3508 3485 3494 3502 3487 776 3482 570 3841 3232 3236 3466 3470 3527 5504 1485 3185 3220 6383 5810 6308 5612 6098 5702 5315 6521 6158 3401 3225 3271 6952 3402 6832 3412 1998 2001 1707 1794 2091 1797 2094 1791 2088 2928 2367 2259 2421 1953 2151 2832 2970 2061 2184 2448 2190 2187 2451 2454 2162 1902 1899 1985 1896 6817 1886 2078 6964 1781 3282 2640 3399 3228 1889 5258 5255 5345 5348 5252 5242 5332 5342 3325 5335 2458 2757 2607 1863 2547 3542 3623 2426 2637 3400 2634 3405 2652 2612 2679 3397 3330 2676 7094 7089 2759 2261 2157 5552 5549 2154 5707 5741 5704 5453 5450 5642 5645 5546 5858 5735 5738 6191 3034 3398 5536 5447 5639 6587 5855 5713 3035 2836 5437 5852 2760 6188 3178 3122 2152 6044 6185 5629 5830 2650 6824 6814 2189 6163 6038 2639 6041 6822 2678 6963 5705 6585 6201 6951 6891 2492 6016 3269 3413 5740 6866 6203 6821 3272 3118 6190 6586 5813 6311 6953 2991 6229 6004 3278 2988 2985 2981 6928 6876 6920 6881 5812 6810 6916 6909 6922 6925 6948 2651 3378 3104 577 7090 772 6005 6818 6230 6309 6002 5999 5980 6224 6227 2262 2642 2646 5977 6929 6211 2306 2453 3279 3360 6910 6849 6864 3273 6902 1956 3270 6846 6828 6808 1521 1511 1518 1508 1524 1514 5416 6542 6416 5506 5505 6413 6410 6332 2864 6397 6326 6329 6313 2780 6536 6539 573 575 3524 580 10744 1011 10742 4562 10745 10743 3824 3827 3821 3826 3116 3114 3129 3126 3132 3109 3097 3101 3479 3150 3523 563 3708 209 3709 154 3784 157 3767 3782 3816 206 158 199 3720 169 3705 545 548 566 247 254 212 251 257 3780 231 233 260 229 214 203 188 3179 2153 1004 3341 6932 6935 6915 3340 5036 5708 6699 6700 4126 576 581 4128 584 4124 572 571 583 579 6778 6781 3110 3107 3098 2156 2260 3121 3298 3303 3182 6701 533 532 542 292 526 540 535 527 536 529 521 520 293 524 289 290 4111 3694 3106 3100 3219 3221 3620 2756 11012 4825 4823 1275 1380 1364 10677 1268 1370 2572 2237 11013 1270 1377 2234 2238 10676 1272 1274 4826 4821 2585 6137 1202 2575 2583 1203 1209 5783 2573 10671 4751 1366 887 3481 3509 6656 3518 3503 775 3488 5419 3280 4492 4498 4511 4508 4514 5414 6831 5706 6331 6914 3001 6554 5920 3315 6815 3297 6847 3024 3022 6813 5816 3262 5815 5508 5509 3313 3314 6575 6812 3267 3277 3375 2859 3003 6415 6924 2862 2846 2865 6830 5149 5159 5152 5162 5165 5703 2265 5814 3046 2264 3048 1866 3260 5510 6599 3263 1957 6806 1614 1601 1598 1611 6798 6479 7070 7061 7040 7019 3462 7064 7058 7046 6785 5042 7043 7073 7055 5318 3295 3264 3253 3268 3362 3361 6384 6898 6896 3248 6800 5225 3457 3246 1584 5072 5069 5059 5075 3414 5614 3458 6801 3250 6611 5134 2064 6979 5613 947 941 1487 3445 963 1486 1490 960 957 1494 1489 3023 5615 5819 6590 5511 2063 2263 3039 3074 3093 3073 3372 3367 3344 6927 6907 6906 3368 3366 6921 6482 2062 6099 5226 1677 5227 3068 3240 5415 3259 3247 3252 6802 6626 2159 6949 3296 11018 2586 2578 2577 2521 6071 1201 2519 10670 2526 4827 6135 2579 6131 2581 6134 4744 1197 1199 2235 11014 4626 4617 4624 4631 4614 11038 11001 4620 1079 4618 1068 4621 11000 1077 1071 1062 4611 1074 1078 10922 11037 4615 10923 11039 10999 4623 4612 1372 1369 1314 1356 1358 11002 10682 4869 4870 6506 1383 6360 6356 6357 6365 4933 4925 1317 4903 4905 11006 2808 2807 2810 4867 1310 4627 1065 1385 1329 2522 2518 1334 1392 5790 5780 1264 10679 4959 4960 4835 1410 5775 2525 2523 5668 5794 1282 5776 2591 4889 4882 2232 2236 4828 6133 10675 1291 1289 4856 4844 4846 11015 1296 1301 2590 5945 4891 4942 4945 1399 10681 1322 1337 1336 4879 1332 4877 4886 1341 6077 1395 1324 1388 1373 4926 1343 4748 1200 11019 1193 5788 4753 4752 5787 5789 11020 2582 4807 1262 1260 11010 10678 4814 4809 4746 1345 2233 1318 10685 4900 2231 4930 1350 4929 4898 4916 4871 4927 1387 6502 4922 1319 4775 5681 5680 5679 10668 2124 5674 5676 5678 5677 4761 4757 1415 6823 4894 1365 1331 11008 4920 11004 1362 6961 6977 6983 6825 3396 6642 6629 3079 3083 3089 3087 3448 3080 3082 3454 3056 3077 1491 5038 1488 5041 5040 5037 2931 3429 3431 6389 2837 6816 6858 3072 6841 2758 3302 3304 3301 3300 3404 6854 6863 3418 6395 6840 3416 6839 6390 3266 1966 6385 6200 6194 6196 6011 6391 2835 6195 2272 6159 6589 6950 6878 2463 6013 6582 3346 3351 6937 2781 2778 6944 6941 6897 3349 3350 3352 3348 3357 3380 3353 3383 3387 3338 3331 3336 6936 3343 3382 6905 3379 3389 3392 6875 6884 3342 6073 6069 3327 2493 3322 6043 6892 3328 3391 3337 2660 2673 2465 6202 2762 2775 6877 3329 3332 3321 3388 3323 5918 6101 6310 6547 6543 2997 2932 6551 6569 6563 6481 6559 3002 2994 6555 2279 5857 6565 6546 2842 2933 2301 2307 6485 2304 3011 2999 5897 6869 5895 5891 2550 5811 5972 5896 3317 2366 3305 2369 2460 6848 2456 3403 3312 6946 6886 6945 6890 6688 2370 2549 6978 6845 6836 3425 6959 6870 6885 6972 2655 6204 6206 6205 5919 3406 6160 6968 6971 6973 2654 6850 6857 6960 5921 6862 6861 3316 4955 6617 6621 6613 1971 6604 1870 1958 5515 3064 1766 5520 3055 1765 5512 6871 3051 3043 6588 6592 5826 5821 5817 3054 2273 2268 6600 2271 5711 5820 5825 2277 6596 5827 2158 3047 3044 2462 3318 6584 6014 6009 6591 5974 5632 2653 3320 1397 6687 6671 2459 6674 6720 6694 6697 2457 6724 6008 6010 6728 6731 6579 3019 3020 2648 6571 5440 6774 6572 3021 2663 5539 6718 1988 6703 6696 6570 6715 6702 6691 6712 2165 5833 2468 2615 2975 2849 2765 5716 6019 2429 2282 6316 6214 6166 6400 11011 1263 4944 1265 4811 4817 4813 1258 1256 1283 6129 5894 4849 2339 4840 1293 4855 1295 1223 1231 1225 4781 1205 2806 6363 6355 2119 6361 1382 2803 2811 2341 1396 1278 1400 1181 4742 1190 4949 2335 2334 2333 1398 2336 2337 4850 2346 2344 1305 4847 1320 2809 6364 4881 6358 4937 4940 2117 1222 1227 6136 4819 1188 4738 1183 10673 4832 1304 5952 2352 6359 1381 4964 2804 5669 4865 1297 10674 4854 4842 2340 1299 1208 5785 5781 10683 4863 1403 4771 1287 2121 1303 4861 1335 1316 2805 4868 6354 1312 4932 6362 4836 4848 1220 1221 4630 1063 4622 1076 4767 5675 10669 2127 4772 1214 2122 2123 1402 4853 4857 1308 1300 1407 1391 1386 1330 4936 1339 2126 5673 11021 4837 4765 4907 1354 11005 10687 1352 6503 6442 1371 4773 1279 1218 1216 4769 6443 1375 4923 1394 4947 4831 5884 1277 1285 2589 4833 1266 1393 4888 1368 1328 4939 4885 1378 6070 10680 4887 4892 1326 6130 2580 1284 2574 4829 2576 4915 4918 4760 5779 1204 4896 4917 2520 4938 4946 1347 4875 4921 6504 4934 6441 4912 4928 1349 4884 4883 1066 1061 4625 1069 4943 4880 2524 4935 1390 1379 4873 1338 11009 11003 11007 4910 11017 10686 4914 4931 10684 1389 1067 1075 1073 10998 1080 4613 4619 1072 4616 1060 1064 1070 4629 11036 4628 4553 999 995 991 1007 4560 4548 1001 4556 5710 2155 3036 284 281 3833 278 3839 3863 3830 287 3836 2368 6007 3265 6598 6597 981 1014 3017 4520 2461 2424 977 4408 4521 6564 3015 3010 2658 2843 3042 6207 6208 6576 6556 2647 3006 2610 6480 3009 2841 3027 2641 5973 6577 6580 3032 3016 3030 964 974 972 3031 2455 5795 2592 1189 4736 5949 5671 4782 2125 2349 1233 5672 4778 2343 2131 5892 2348 2345 2347 2132 2130 1229 2135 2120 5890 5670 1411 2128 1228 4783 2133 4774 2129 1210 2029 1230 2034 2038 2046 2037 2040 4795 1245 2039 2036 1232 2032 1423 4794 1298 2035 4975 11023 1421 4803 1224 1235 1425 4802 1226 1418 2045 1246 1414 10667 1242 4973 1420 2033 1417 4799 4804 4970 4974 4967 1247 10664 1927 4642 4640 5477 1428 1087 1085 1091 4638 4636 10665 2338 5475 1089 1093 1426 11025 1095 2342 4643 1926 4646 2351 5476 1092 11024 4645 4644 4978 1094 4977 1925 1929 5782 4740 1408 1409 4961 1187 4734 4755 4739 4758 4963 1185 4759 4732 10672 11016 4763 1416 4776 4779 1413 4966 4965 4784 2118 1241 4788 4793 4796 1191 1251 4786 1253 1239 11022 10666 4741 1243 4954 4948 4859 5588 4851 5885 4958 1434 1646 5198 5382 4698 4666 5202 5201 4699 4682 5392 4654 1837 11027 1842 1749 11030 11026 1149 5395 5398 1158 1153 4655 4652 1151 5883 1104 1405 1097 1406 1148 1150 4953 1137 1429 1839 5402 1101 1835 10662 1641 5393 1841 1830 5192 1643 1147 4648 1834 1836 5394 5386 5389 4706 1659 2332 1111 1642 1128 1644 1112 5203 4664 1831 5200 1833 1130 5196 3860 3851 3854 3857 3848 2058 5606 5608 6515 2754 6473 6475 6517 6377 6379 2364 1832 6144 6140 6126 6128 6138 5804 5806 804 780 1000 810 867 864 801 789 819 967 4522 858 4544 4517 4549 807 4526 965 786 792 968 4370 989 861 798 4547 4538 992 795 783 4541 985 6123 1656 5888 4686 6139 2593 6141 6146 4950 1307 1404 4951 4852 1286 2529 2584 4830 1306 1281 5893 1340 4815 4834 1649 1645 1653 4687 1551 1547 1828 4838 1276 6132 1401 1549 1302 5898 5902 5900 2353 5903 5889 1430 5886 1735 4685 4704 1107 1647 1652 4700 1651 5199 5204 5197 4909 4957 4941 4952 1384 1333 6076 6074 4901 1427 4979 11031 1374 4924 1146 4692 1141 10659 4696 4690 10658 1139 4694 1143 1145 6261 1739 1367 5777 1280 4890 4858 5792 4792 4911 4762 1212 1254 1412 1249 5667 1250 5954 1237 4816 6075 4790 4956 1360 1207 2230 5786 4913 1363 4750 1361 1376 4919 1195 1359 6263 2136 6439 2952 5479 6255 6509 2818 2814 6371 2817 2722 6367 6453 6457 2709 1932 1931 2715 2718 2826 2828 5294 1751 1660 5590 5286 5290 5585 5589 5579 5581 5480 5482 5481 1924 1928 5483 5478 5381 5580 6455 6464 2724 1938 2717 5587 2721 5583 6461 5665 5686 5784 6283 5602 5600 2048 2392 2393 2400 5948 5950 2396 2395 2138 5690 5591 6352 2914 6469 6373 2823 2742 2744 1731 1733 2748 5282 2358 5284 5800 5899 2919 2899 5798 5937 2052 5575 1849 2726 2712 6459 2955 2720 5917 5915 5905 5909 2361 6155 2363 6125 6124 5911 6157 6149 6151 1937 5773 2028 2913 6467 6274 6277 2904 6269 2892 6254 1930 6257 6499 5582 5578 6276 2714 2730 2725 2735 6282 2733 6280 2710 2716 2707 2728 2736 6262 6275 6281 6286 6284 1854 2731 2729 6511 1850 5383 4564 4563 4530 4535 4410 870 4703 3060 3059 1694 1701 1691 1704 1869 1865 1959 4529 3285 2276 3045 4531 2269 976 2160 2274 5132 1675 6797 1581 1640 5486 3067 3162 4984 1868 5306 3258 1767 4988 1676 3249 5191 6811 3261 6833 6820 6829 3281 1639 6609 6610 1867 6804 5418 3254 1674 3057 3058 3255 3063 1871 5420 5317 5300 5302 6807 6620 5228 3168 3174 3165 3156 3159 3153 3135 3144 3141 3138 3147 3075 6799 1872 3176 3065 3070 3066 1764 5039 5044 5043 6619 6618 3069 6615 1583 3257 6805 5422 5507 5517 2275 6809 3256 5316 3061 6819 6834 1968 5522 1970 1963 1955 3364 3369 3326 6918 2644 2609 2649 3018 2645 3028 3033 2643 3008 2423 3053 3049 1954 6988 3428 3432 3311 3365 3374 3434 6868 6852 6855 6901 3310 3307 6856 3334 3359 6835 6900 3306 3335 6803 1132 4677 4661 1116 5400 1847 1843 1129 1108 4673 4675 4657 5388 1829 1103 1106 1845 1105 1848 4663 4662 1099 4656 4650 5397 5380 1838 4658 1113 5390 1840 5384 5387 5391 10663 5385 4705 1648 1650 4697 1433 1152 1432 4985 4980 1126 1127 1431 1743 1125 11029 1120 4982 4665 5396 1109 4678 1118 10661 1133 6142 6152 6501 2957 2956 2895 2544 2534 2538 2546 6067 6094 6086 6088 6081 6082 6079 6078 2915 2533 6454 2898 2909 6456 2907 6444 6092 2900 2528 2527 2595 2925 2587 2350 2588 2355 2927 2831 2829 4962 4972 1211 1424 4777 1252 1419 1248 4800 4805 5586 2116 2027 4968 4756 2043 4797 4754 2042 4971 2026 4969 2041 1422 1206 4976 4780 2031 1244 4798 4801 1135 1136 5194 1124 4701 1737 5190 5206 5193 1115 4683 1662 5484 4659 4981 4667 5485 1122 5210 1657 1732 1741 1748 11028 4983 5195 1742 1740 4671 10660 4688 1134 1114 1155 1157 4684 5101 4676 5099 4660 5097 5098 5102 5205 4987 4986 1156 4709 4702 1658 1655 5207 4680 4681 1654 1435 1736 4679 1110 1154 1738 1131 4669 1860 5410 1862 5408 2604 2967 6097 6095 2543 2541 6507 2953 2601 2603 1760 1758 5312 5314 2535 6085 2516 2530 2531 6084 6080 6091 6089 6083 2537 2597 6143 6145 2825 2330 2357 2750 2820 2815 6369 2921 2906 2902 2891 2890 2912 2910 2570 6368 2816 2704 2360 2239 2227 2225 2229 2241 5951 5946 5687 2054 5943 5684 5944 2134 2224 2044 5688 5957 5595 5584 2397 5793 2394 2398 2399 1747 1727 5293 5288 5297 5283 5292 1744 1754 1730 5308 5301 1752 1745 1734 1856 2600 2540 2963 3690 3040 3175 3171 6879 3130 3125 3124 3128 3127 3131 6677 6680 6683 3157 3164 3148 3142 3161 3160 3133 3137 3154 3145 5975 3140 3152 3136 3134 6198 2608 6161 6193 6197 3166 3139 6567 3149 3146 3158 2548 3151 3163 6192 3143 3167 3155 6199 1864 6717 5417 5823 5828 6594 2422 6573 6723 6721 6704 6713 6707 6698 6716 6719 6689 6710 6695 6692 6686 6574 1969 6606 6616 6867 6293 6643 6641 6632 6635 3062 2740 953 3000 2992 2996 2844 2839 3007 2834 3012 2930 6012 3014 2812 6682 6679 6675 6676 6678 6685 6711 6684 6690 6705 6681 6693 6709 6714 6706 6708 2838 6926 2801 2822 2894 2901 2916 2897 2929 6548 6483 2993 6913 6911 6545 6484 6387 6392 6386 2833 6553 6552 6560 6557 6550 6388 6549 6394 6561 3005 6562 6568 6393 3358 3363 3347 6917 2961 2969 5280 6505 2958 2950 2954 2960 2951 2966 2918 2948 2888 2922 2964 2924 2751 2753 2699 2737 2747 2745 6305 6290 6307 6295 6301 6294 2738 6299 6447 1729 6435 6495 5211 5218 1637 5224 5212 1664 5216 1668 1670 5222 6348 5209 5693 5695 5699 5701 5299 5303 5295 5105 1553 5106 1555 1550 1558 4721 1548 1168 11033 5108 1556 1170 1437 1166 5111 11032 4711 1160 4725 5110 4718 5104 4726 4727 1554 4713 1552 4715 1169 4707 1559 4719 10657 1174 1176 4720 1557 4708 1162 5109 4717 1436 1175 1560 10656 1546 1167 1164 1562 1561 5488 2896 2741 5107 5100 5103 5796 5797 5807 5809 2253 2226 5801 2255 5803 2243 2249 2222 2240 2247 6289 6291 6296 6304 6250 6302 6298 2739 5114 5123 5117 5119 5125 5118 6288 6292 1571 1544 1564 1569 1575 1577 1565 5129 5131 2743 1563 5596 5592 5577 1952 5473 5498 1950 1944 1946 5492 5500 5494 5969 5965 5971 5963 5960 5941 2406 5968 5962 5966 2409 6117 2145 2147 5689 2114 2139 2141 5661 5399 5401 1851 1846 1844 1750 1746 5305 5296 5298 1757 1755 5278 1940 2404 6063 5611 5598 5594 5603 5597 5609 2057 5599 2055 5605 2049 2024 2051 2030 2252 2244 2246 2245 5571 2414 1661 1568 5126 1572 5112 1567 5113 1578 1580 1566 1574 5115 5128 5120 5095 5116 5122 5208 1667 1671 5213 1665 5188 5215 5219 1673 5221 5956 5955 1545 5121 5094 1573 2402 2390 2415 2417 2411 5769 6476 6472 6478 6470 1943 1947 1922 1941 1949 2228 5487 1935 1939 1933 5501 5497 5495 5503 6382 6380 6376 6374 6246 2405 2401 2408 5489 5958 5904 6514 6508 6465 6518 6512 6520 2893 6460 6449 6446 6458 6500 2905 2959 2903 6451 2947 5491 6450 2047 1934 5490 1936 1540 5908 2354 2150 2148 2412 5877 2407 5912 5291 5285 6266 5404 2706 2819 6452 2418 2420 2256 5309 5311 2060 2258 2911 5947 5906 5953 2723 2727 2732 5881 6370 5914 5791 2144 2606 1761 2137 5696 2734 6072 2705 5698 5682 6462 6148 2598 2594 6270 2708 6279 6273 5692 2908 2142 6271 6267 6272 6463 6466 2719 6154 2703 5379 6448 5685 6445 5683 5901 5778 6287 5593 1763 6285 5377 6259 5287 6278 6366 5887 2813 2403 6260 2702 6127 5289 6121 2250 2532 2242 2539 5601 2569 2329 5403 2800 1666 2517 6351 6372 2802 1753 6510 5187 6066 6513 1638 6150 1543 6440 6471 1859 5214 6300 5304 5411 1857 1855 5413 6090 5405 2698 5307 1726 5279 2515 5096 2824 5910 5376 1827 6087 5774 5474 1921 5802 2221 5496 5666 5942 5378 1825 6375 5217 5604 2023 5694 1636 5576 2113 5189 5406 5964 2389 2887 6353 5882 5124 2917 2248 6122 6068 2356 2410 6251 1570 1942 2821 1663 2746 2536 2140 2596 1852 2050 1484 4989 1460 5003 11034 1179 10655 4999 1171 5016 1478 10654 1446 1444 5013 4730 5020 1178 4724 4993 1456 5024 1472 5017 1467 1476 4633 1471 5026 1455 1464 5005 5011 4997 5007 1441 1463 4990 5014 1461 1450 1438 5008 1470 4729 5001 1457 5019 4994 5009 1439 1445 1173 1448 4722 11035 4991 5006 1443 1440 5015 1459 5012 1442 1177 4996 1458 5010 1462 5032 5030 1482 4728 1172 1477 4632 5025 1083 4992 4723 4995 1452 1454 2413 2391 5961 6120 2889 4608 5880 2599 2571 5940 6498 2962 2749 5574 6297 5472 1923 2359 5018 1465 5277 5023 5033 1756 1728 1826 5035 5959 1475 1481 1853 5407 1479 5029 1474 1469 5022 1082 5021 1466 1473 5027 4634 2115 2025 5772 2223 2949 5028 1468 1081 5691 2920 1945 5799 2251 2700 2053 5664 5493 5907 6468 6438 6249 2143 2331 6147 4135 4134 11117 18 4041 100 4024 3242 6622 3076 6791 2489 2636 2186 6187 5737 2450 6040 2303 6328 2675 2861 2777 6789 6001 5854 3088 6226 6412 1582 6790 3239 6912 3324 6874 6923 3119 3511 3520 3370 3371 6865 6893 3377 3384 3385 6933 6931 6904 3354 6908 3356 3381 6930 3376 6938 3355 3386 3299 6624 6887 6872 6889 6947 3339 6942 6882 3319 3251 3333 6873 6883 6860 6955 6962 6958 3394 6940 6851 6939 3390 6975 6980 6853 6954 3393 6943 3493 3505 3484 3095 6966 3071 3440 3438 3410 3453 3455 3449 3238 3422 3395 3426 3408 3417 3420 6976 6967 6843 6974 6970 6987 3241 6006 2840 3004 2934 2995 3037 2266 6209 5518 5516 6595 6607 2267 5421 6623 5709 2656 2270 5513 6602 3013 3041 3029 5822 3025 3038 3050 3026 6605 3052 6566 6583 1961 5824 1960 2657 1964 6581 6578 6593 6614 6625 6268 6264 6256 6265 6253 6258 6252 2701 2713 2711 5281 7087 7084 902 900 892 10983 10989 10973 10995 10991 4460 10982 911 904 893 4454 10966 918 4444 4465 912 10962 903 5231 4440 4453 4456 913 10978 4452 10968 4455 4457 10972 10974 4462 4446 10979 10988 4461 891 3276 3293 3411 3407 3309 3284 3415 3291 3286 3419 6859 3424 3292 3287 3283 6826 3423 6956 3446 6985 3435 3430 3436 6990 3444 6984 3437 3441 6993 7011 6989 6994 6991 853 6489 1632 6436 1669 2827 6349 2567 2565 6494 6434 1948 6429 2883 2923 6496 6342 6347 6486 2602 2965 1724 1722 1759 5092 5090 1715 1711 2056 2217 2254 6417 6427 2496 1803 1800 2387 1480 2206 1810 2314 1858 2310 2500 2362 2511 2378 2504 1539 1625 2004 2687 2554 1525 2866 1576 1532 1621 2752 2098 1806 2513 2542 2008 2146 2416 1541 6425 2683 1530 2196 1906 6421 2558 2199 1058 1528 1040 1056 841 4399 4394 846 4396 849 839 5076 3674 5081 6340 3764 4591 1527 6336 5083 6880 6888 6903 6934 6919 4402 3294 3421 3439 7010 3427 7007 7001 6982 3233 6969 7002 3288 3274 7012 7003 6844 6842 6827 6957 6838 3290 7086 7051 7080 7048 7065 7066 7083 201 881 3689 3806 3809 3671 264 146 541 4427 873 4434 878 4430 875 4422 232 161 126 3719 3628 3749 162 258 213 3768 207 3762 129 3713 171 3800 230 3746 3707 3680 3812 3691 3632 140 793 868 797 800 156 80 3766 211 195 3722 168 3668 54 3677 63 3783 3865 60 210 159 261 215 252 117 314 165 3761 3650 3718 132 120 249 3652 3716 3712 3743 3758 135 77 204 3803 3648 3752 3815 138 3619 3626 3686 3653 81 102 3683 3817 3755 3631 78 198 3721 255 246 3715 99 123 3781 3797 217 3629 143 3710 66 3740 4387 4555 876 883 879 4424 871 4429 4426 835 4057 4390 848 4404 843 4392 845 851 4400 4397 6796 6981 6986 6992 6837 3308 3275 3433 3409 3289 4504 4489 5443 5155 5542 5338 5248 1604 1697 1991 5635 2444 2990 1892 3184 6737 6773 6734 6775 6181 6034 1787 5731 5848 5995 6220 6322 2987 6406 4438 2771 2297 2180 5726 6021 1873 1587 1875 1680 1770 1776 2431 2169 2433 2167 6170 5837 5984 5046 5050 1497 1585 5047 5049 1774 1500 5054 6023 5982 1972 1974 1768 5722 6168 5725 5723 5835 1772 5319 5618 5720 4472 920 4470 921 5138 10960 10961 5525 5321 919 10992 5616 5424 5718 4471 4467 1502 5523 10993 4469 4468 5136 5426 5229 2483 2855 2630 6541 2972 2669 6538 3526 4383 3245 908 4441 905 2487 6601 2490 6603 6558 6637 1967 6636 1962 1965 6608 6895 3345 5514 6965 5245 6998 6894 6794 5521 6612 5519 5423 6899 6100 5818 6544 1608 2998 5065 4449 3464 1784 10975 3373 4447 2084 4459 914 10990 4464 917 915 10994 4450 897 894 5135 4443 890 896 4445 1678 4451 910 895 10967 899 6795 907 1995 889 4458 4442 5133 4466 10969 4448 898 10963 10986 10987 2081 3472 916 906 4463 901 3244 909 4488 939 4499 946 10883 5058 1509 10916 1520 1523 5055 1519 5981 2428 10865 1013 1501 1522 5056 1506 2419 2878 5743 5744 5936 5938 5770 5372 5768 5374 5470 5468 5365 5361 5761 5457 5757 5461 4558 4528 4523 4525 4565 4532 2876 2796 2385 1821 2943 2202 2021 2012 2019 2325 2327 2210 2789 2935 2938 2870 2885 2874 2945 1919 2694 2111 1823 1910 1634 1617 2374 1917 1814 2219 2318 2102 2696 2785 2109 2798 3697 557 523 4036 4020 4109 530 226 3775 3869 259 3769 3790 5079 1515 10846 5064 1517 3618 950 4439 4502 6526 6532 6523 5062 4495 4431 5991 2447 4490 1512 1516 10880 5061 973 4561 1006 4559 1003 3754 3750 3757 3760 3742 3739 4550 1002 1009 937 5074 5067 5071 10918 4491 958 942 955 4503 954 4328 7034 6647 7031 7037 7047 6788 7016 7026 7022 6780 7027 7050 7025 6769 3209 3199 3213 3216 3206 3203 7255 7718 7460 7755 11186 11344 11160 11188 11125 7782 7787 7861 7454 7451 7749 7842 7754 11168 11176 11150 7873 7824 7836 7739 7450 11120 7800 7744 7437 7461 7803 7445 7852 7751 7446 7762 7788 11154 7845 7721 7476 7806 11164 7740 11182 7439 7690 11144 7808 7471 11152 7757 7430 7698 7719 7715 7722 11124 7695 7821 7716 7784 7475 7849 7734 7435 7768 7426 7459 7799 11162 11122 7827 11146 7781 7867 7826 7443 7748 11142 11136 7440 7455 11148 7427 7453 7785 7809 7252 11180 7472 11192 11138 7758 7823 7765 7798 7737 7713 11345 7870 11121 11170 11158 7858 7795 7736 7436 7468 7465 7805 7831 7442 7431 7752 7839 7733 7802 7345 7691 11166 11135 7480 11123 7330 7473 7779 7778 6762 3205 6758 6766 10885 11134 151 235 223 316 220 319 240 242 225 321 323 238 227 11233 10648 7342 7423 7418 7329 7421 7425 7327 7344 7325 7322 11383 10640 10329 10645 10326 10288 10332 10324 8113 7987 7685 8053 10312 7621 7957 10314 7618 10320 7570 10317 10285 3208 11235 6755 6765 10921 3202 7076 7079 7081 997 1005 4552 3467 1012 966 4519 975 4546 970 4542 4515 979 7245 7202 7155 7241 7238 11113 7164 7160 7151 7175 6662 3115 6653 6650 6664 6668 6663 6659 6777 69 139 537 534 531 525 528 539 522 7343 7663 7645 11129 8106 7361 7648 7640 7947 7336 7422 7341 7338 7369 7321 7331 8101 7932 7666 7935 7968 7945 7926 7350 8097 7367 7316 7415 7328 7323 7417 7333 7324 7975 11079 7403 7407 7980 7611 7410 7413 7953 7938 7346 7365 7929 7377 8103 7965 7983 7374 8093 7371 7320 7326 7314 7335 7420 7339 7318 7419 7424 11131 7950 7971 7670 7961 11116 8109 7923 7977 7652 11133 11112 11106 11100 11110 11098 11094 11082 11074 11086 11084 11092 11104 11088 11102 11090 11108 11080 11096 11076 11072 11078 3478 7310 7271 7260 7257 7608 7176 7656 7488 7482 7606 7485 7172 7491 7524 7528 7394 7559 3103 7395 7546 7516 7513 7495 7501 7507 7510 7498 7210 7207 7540 7531 7543 7537 7213 7504 7549 7519 7558 7534 7552 6175 6176 6173 6172 6174 5990 2442 5983 2438 5986 5985 2437 2436 5992 2446 5073 929 5053 4475 4473 4478 5051 1499 1503 926 923 5142 924 4481 4477 5140 5144 933 10981 922 1496 932 930 10980 1495 1498 925 928 5143 5141 5048 4474 927 4480 4476 4486 936 4487 4479 4484 4512 961 4483 935 931 5052 1505 5057 6320 5621 1973 2177 5623 5643 1976 6324 2175 10965 5235 5329 1900 6216 6183 2472 6029 5534 2073 2071 6022 6025 6024 2475 1593 1586 5427 5527 6031 5320 2632 5528 2621 5529 2477 2628 2470 5627 2168 2069 2620 2618 2067 5531 2435 2478 2474 6178 1595 2065 2068 2075 1975 5724 5622 6179 2076 6171 5728 2619 1878 5434 5147 2625 2480 5733 4482 5729 1982 2066 5626 5533 5256 6169 1775 1779 1884 5240 2092 5620 6032 2471 6027 6026 6028 2473 6036 2170 5624 1588 1589 5327 5425 5432 2623 2171 5322 1795 1773 1880 5530 2627 2617 5550 1980 2767 1983 1999 1685 1979 2178 1977 1683 6318 5237 2173 2773 5524 5232 1684 2182 5233 2286 2299 2769 2671 2667 2295 10964 5239 1689 2481 2622 2624 5843 5845 5839 2476 5526 5230 5836 1705 2290 2485 2979 6402 10970 2291 5838 2289 2857 5719 2853 2983 6528 10984 2174 5721 2172 6743 10976 6752 6740 3194 3190 6747 3189 6739 3187 3193 6746 6748 6768 3198 3200 10977 3191 6738 3188 7571 7130 7583 7589 7584 11083 7112 11105 7602 7578 7595 7593 11073 7107 7103 11089 11097 7598 7109 11077 11093 7127 7586 11109 11087 7592 11103 7113 7575 11107 11091 11101 7599 7580 7574 7581 7124 7131 7110 11075 7601 7104 11099 11095 7572 7590 7128 11085 7587 7577 7596 7125 11081 7106 7216 7555 7563 7520 2768 2626 1687 2000 6319 1901 6403 6177 5328 5727 6030 5844 1796 6217 10914 1599 5148 1609 5145 5625 1706 2093 5238 1613 5433 5452 5347 5257 5551 5644 6529 5532 1981 1777 1504 2074 1882 10896 2638 2613 6162 6396 10893 2847 6212 5343 1780 5333 10915 10911 5150 5160 1597 2440 5164 2293 2479 2176 1594 2984 2666 2852 5732 10833 2179 2443 10831 5996 2863 2659 10888 5640 5547 5630 10907 5537 10905 1984 6164 2611 10897 6189 1782 1792 5331 10910 6015 5829 2466 2491 2982 6531 10886 5068 5066 10847 1513 5712 2163 10902 2188 10881 5063 1510 2978 1507 5070 5060 10917 2077 2305 10898 2280 10890 2779 2763 5438 2425 5448 10909 10901 10899 5831 5856 6003 5978 1885 2278 6312 10894 5344 5254 1898 5641 5449 5548 1610 10878 5151 6315 2766 10854 2776 882 884 5161 10879 10857 6225 2662 6215 10863 2281 5853 5834 10867 5717 5736 2164 10835 1607 1605 1891 1793 1997 10841 2090 2083 1700 10836 5339 5341 1786 5636 5638 1703 5446 10837 10839 5543 5337 1990 5545 10840 10842 1790 5247 5541 1788 1992 1698 5444 1994 10820 6180 2633 5998 6219 2296 2774 5851 5849 2772 10829 5734 6182 6184 10827 2629 1603 5158 5251 1696 5156 5249 10843 10845 6409 2854 10819 10817 6540 2971 6524 6407 6522 2670 10818 10822 10816 2973 2989 2672 6405 2856 2858 6321 10826 2631 4403 847 4405 850 4428 6325 10821 6323 2770 10823 6223 2668 6221 6037 2482 6035 10825 6046 1483 2388 5931 4401 852 4398 854 1008 4557 1010 4554 980 978 4527 4524 551 4098 549 3774 3867 7249 3870 3778 3771 3874 3786 3776 3696 10997 3693 3791 3789 3872 3793 465 467 4014 4116 569 567 4095 4062 513 515 7653 7610 7613 7671 7651 2382 2384 5928 7565 7562 7669 4433 877 4435 880 4016 4118 463 508 4102 4100 547 4064 4011 4018 511 4066 460 4120 4113 544 4510 4513 934 4505 952 4506 4507 10919 4509 940 4493 959 962 4485 4497 948 10882 2986 10852 5715 2860 2185 2283 10862 2850 2166 2976 10866 10850 6018 6399 6525 956 10848 1606 5153 5157 1600 1602 6213 5832 10856 2302 10858 2469 10872 2488 5439 1890 1894 2664 2674 2079 6210 1986 2677 10892 10904 5535 2089 5628 10900 5976 6000 6186 6401 6020 1987 6327 10832 5730 2183 2181 1897 1887 5436 10908 1692 5241 10912 1702 2452 2427 2661 1996 10906 2467 10869 6317 10855 6527 2764 2848 5637 2080 5441 5445 5340 1783 1888 5336 10873 10875 10853 6411 6537 5540 5544 6039 6167 5250 5246 1693 10877 10871 10861 10851 2614 2974 5633 10859 2087 2085 5634 10870 5538 1989 1695 10876 5244 1699 10868 10860 1993 2449 2635 5334 1789 5994 10828 6033 10830 2484 5442 1895 2300 10838 5154 1893 10844 10824 2298 5847 2486 2445 10834 6414 6330 2761 10891 2464 6314 6533 6398 10889 2161 5714 5739 2980 10903 6228 10895 10887 10874 2430 5631 10864 5979 6165 2086 2616 1785 2082 10913 1690 5253 5243 6535 2845 6042 6017 2059 5185 5183 5570 5876 5660 5662 2149 2220 1951 5572 6064 5275 6116 2926 2257 6245 6118 5878 6247 5742 5861 6105 6109 5869 6055 5865 6062 5273 4607 4609 1059 5879 5502 5409 6474 5697 5471 2568 2112 5808 4610 2968 2946 2697 5034 5220 1672 1579 1542 6306 6248 5223 6477 5093 2194 2198 6437 2680 6236 2685 5352 5349 5310 2197 2201 5913 6516 5967 6303 6378 5499 5607 2755 6350 6381 5186 5130 5412 5375 6119 6156 5573 5610 6096 6065 5700 5663 6497 2514 2545 6093 6519 5276 5313 1635 5127 5771 5939 2022 5970 2365 5031 5916 1725 2830 5805 2799 6153 2328 2605 1920 1762 1824 1861 2886 2791 2689 6493 5750 6051 2375 5747 5653 5753 5925 5563 5555 2941 2383 2373 1710 5649 1801 1802 1798 1799 5751 2308 2200 6231 6238 5559 6234 2494 2495 5929 2195 1978 5619 5617 2070 2072 1877 1881 1883 5323 5428 1686 1688 1682 5236 1874 5234 1679 1681 5431 5451 5429 1876 5435 5430 1879 1778 5324 5330 1769 1771 5346 5326 5325 5137 1596 5139 5146 1591 1612 1590 1592 2439 2294 2292 2284 2288 2441 2665 5842 2285 5850 2287 5846 5988 5840 5163 5993 5997 5841 6218 6222 6534 10971 2851 6404 6408 6530 2977 10985 5987 2432 5989 2434 5274 1918 2386 1822 1723 5184 1633 2218 2566 2110 2020 5469 5373 2326 2512 2797 2944 2695 2884 1057 5091 4059 7655 7392 7560 7489 7483 7659 7492 7105 7522 7108 7111 7486 7607 6346 6344 6242 6244 2212 7114 1039 13 1049 1045 2871 5168 5172 2869 6419 6423 5266 4596 6424 5749 2867 5745 5262 5748 5176 5746 5356 4600 2309 6422 6492 6488 1817 2321 2559 5752 2215 2556 2103 1913 2105 2792 2692 5558 2100 5560 1915 6233 2688 1908 1911 2017 1716 5261 2211 4590 5353 1529 2497 5462 2003 5860 4593 6052 2319 1046 1044 1047 2107 4597 4598 4595 4605 2002 2561 2502 2381 1718 2204 2316 1812 5650 1819 1815 5926 5360 5756 2203 2376 2371 1807 2509 2505 2013 2551 5648 5167 1537 1533 5078 5080 1903 2379 1708 1720 2563 1713 5263 2208 1618 5171 1626 2010 1630 5362 1623 2323 1805 5553 2311 5554 5458 5456 5924 2095 2005 1619 2096 5646 5260 2498 2552 5658 5874 5867 1043 5870 6053 5088 5557 6056 6060 5923 5464 1628 5754 2681 2207 2937 2784 2372 1622 2312 1620 6333 4603 5922 2786 5654 5927 5863 5862 5269 5177 5170 4594 5181 5174 2682 2205 2499 5459 6232 6345 6102 5859 2097 2099 6334 6048 1904 5166 2501 2006 5455 5169 5564 5561 5568 6341 6338 2782 6420 1712 2877 6418 1050 46 5366 5363 2872 2007 5466 2873 5759 6107 6114 5084 6110 5077 5766 5934 2555 5454 2553 5647 2868 5370 5358 5359 4601 1042 1054 5651 5755 1809 1811 5930 5762 5271 5267 5264 1905 1907 6049 5556 2684 2315 2313 2783 6337 1615 31 2794 2790 2787 1709 6432 6428 1526 6243 6239 5368 2009 6103 5259 562 565 6433 6431 6491 2560 6115 5933 2380 2014 5767 5765 5657 2104 5659 5467 5465 1912 2320 5873 5875 1717 5272 5270 6059 2506 6061 5369 1816 5371 2788 1627 5180 5182 2377 1534 5089 5087 1813 2101 6054 1714 2795 6339 2875 2686 2216 4602 4606 1053 4604 1055 1051 2108 2106 5655 6240 1820 1818 5367 1721 1719 5268 2940 2018 2016 5565 2562 2564 6108 5463 1914 1916 2882 5871 2324 5868 2322 5460 6426 2879 1535 2213 2693 2793 2691 2880 6237 2508 5760 2942 2510 2214 6057 5763 1631 1538 5178 5085 1536 1629 5082 1531 5265 5364 2011 2557 1909 2317 1048 4599 5562 5175 2503 2209 1624 5652 8105 8108 11130 11128 145 142 7979 11132 7952 7982 7949 1808 6241 6058 6112 5872 5932 5179 5656 5764 5566 6430 5086 7525 1052 2690 2015 2507 5173 6106 6335 5864 1804 5758 5866 6050 6235 1616 6104 2881 6343 7614 7566 5567 5569 5935 6113 6111 7254 7466 7433 7248 7253 11382 7838 7732 7774 11194 7747 11190 11196 7700 7777 7726 7771 11178 7729 7820 7819 11156 7864 7712 11174 7340 7337 147 7247 7244 149 7701 7692 11198 7792 11140 7834 7835 7844 7816 7841 7694 7697 7813 7855 11184 7711 11172 7708 7705 11431 11429 7098 10649 10650 10652 7099 7101 11427 7251 3551 7871 0
198.70/198.74
198.70/198.74 c Core has size 7257
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-3495804-1307807541/watcher-3495804-1307807541 -o /tmp/evaluation-result-3495804-1307807541/solver-3495804-1307807541 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495804-1307807541.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.84 3.97 3.79 5/189 15857
/proc/meminfo: memFree=31190664/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=12748 CPUtime=0 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 701 0 0 0 0 0 0 0 25 0 1 0 892356458 13053952 540 33554432000 4194304 4365125 140736271150080 18446744073709551615 212436016896 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 3187 541 255 42 0 335 0
[startup+0.089443 s]
/proc/loadavg: 3.84 3.97 3.79 5/189 15857
/proc/meminfo: memFree=31190664/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=16048 CPUtime=0.08 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 3090 0 0 0 8 0 0 0 25 0 1 0 892356458 16433152 1316 33554432000 4194304 4365125 140736271150080 18446744073709551615 4257301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 4012 1317 263 42 0 1160 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16048
[startup+0.100448 s]
/proc/loadavg: 3.84 3.97 3.79 5/189 15857
/proc/meminfo: memFree=31190664/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=17244 CPUtime=0.09 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 3886 0 0 0 9 0 0 0 25 0 1 0 892356458 17657856 1421 33554432000 4194304 4365125 140736271150080 18446744073709551615 4258262 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 4311 1421 263 42 0 1459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17244
[startup+0.3004 s]
/proc/loadavg: 3.84 3.97 3.79 5/189 15857
/proc/meminfo: memFree=31190664/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=31888 CPUtime=0.29 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 16340 0 0 0 28 1 0 0 25 0 1 0 892356458 32653312 3990 33554432000 4194304 4365125 140736271150080 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 7972 3990 263 42 0 5120 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31888
[startup+0.700339 s]
/proc/loadavg: 3.84 3.97 3.79 5/189 15857
/proc/meminfo: memFree=31190664/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=63556 CPUtime=0.69 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 36604 0 0 0 66 3 0 0 25 0 1 0 892356458 65081344 9216 33554432000 4194304 4365125 140736271150080 18446744073709551615 4306823 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 15889 9216 263 42 0 13037 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63556
[startup+1.50017 s]
/proc/loadavg: 3.84 3.97 3.79 5/190 15858
/proc/meminfo: memFree=31045860/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=98236 CPUtime=1.49 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 55745 0 0 0 144 5 0 0 25 0 1 0 892356458 100593664 14629 33554432000 4194304 4365125 140736271150080 18446744073709551615 4245201 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 24559 14632 263 42 0 21707 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98236
[startup+3.10088 s]
/proc/loadavg: 3.84 3.97 3.79 5/190 15858
/proc/meminfo: memFree=30981008/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=243992 CPUtime=3.09 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 129014 0 0 0 297 12 0 0 25 0 1 0 892356458 249847808 36835 33554432000 4194304 4365125 140736271150080 18446744073709551615 4250159 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 60998 36835 263 42 0 58146 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243992
[startup+6.30028 s]
/proc/loadavg: 3.86 3.97 3.79 5/190 15858
/proc/meminfo: memFree=30857724/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=309524 CPUtime=6.29 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 147910 0 0 0 615 14 0 0 25 0 1 0 892356458 316952576 50395 33554432000 4194304 4365125 140736271150080 18446744073709551615 4244816 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 77381 50395 263 42 0 74529 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 309524
[startup+12.7011 s]
/proc/loadavg: 3.87 3.97 3.79 5/190 15858
/proc/meminfo: memFree=30819156/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=267572 CPUtime=12.69 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 220022 0 0 0 1248 21 0 0 25 0 1 0 892356458 273993728 55710 33554432000 4194304 4365125 140736271150080 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 66893 55710 264 42 0 64041 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 267572
[startup+25.5006 s]
/proc/loadavg: 3.90 3.97 3.79 5/190 15859
/proc/meminfo: memFree=30739808/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=653252 CPUtime=25.49 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 338369 0 0 0 2515 34 0 0 25 0 1 0 892356458 668930048 101061 33554432000 4194304 4365125 140736271150080 18446744073709551615 4291535 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 163313 101078 264 42 0 160461 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 653252
[startup+51.1008 s]
/proc/loadavg: 3.78 3.94 3.79 4/184 15883
/proc/meminfo: memFree=30842432/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=387024 CPUtime=51.09 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 422762 0 0 0 5064 45 0 0 25 0 1 0 892356458 396312576 67224 33554432000 4194304 4365125 140736271150080 18446744073709551615 4291535 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 96756 67224 264 42 0 93904 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 387024
[startup+102.306 s]
/proc/loadavg: 2.94 3.70 3.71 3/178 15909
/proc/meminfo: memFree=30947068/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=399312 CPUtime=102.29 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 576321 0 0 0 10166 63 0 0 25 0 1 0 892356458 408895488 68766 33554432000 4194304 4365125 140736271150080 18446744073709551615 4262681 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 99828 68766 264 42 0 96976 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 399312
[startup+162.301 s]
/proc/loadavg: 2.42 3.40 3.61 3/178 15910
/proc/meminfo: memFree=30967260/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=372688 CPUtime=162.3 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 870653 0 0 0 16130 100 0 0 25 0 1 0 892356458 381632512 65457 33554432000 4194304 4365125 140736271150080 18446744073709551615 4267855 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 93172 65457 264 42 0 90320 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 372688
Solver just ended. Dumping a history of the last processes samples
[startup+179.101 s]
/proc/loadavg: 2.33 3.33 3.58 3/178 15911
/proc/meminfo: memFree=30972456/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=380880 CPUtime=179.1 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 968667 0 0 0 17797 113 0 0 25 0 1 0 892356458 390021120 66485 33554432000 4194304 4365125 140736271150080 18446744073709551615 4258110 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 95220 66485 264 42 0 92368 0
Current children cumulated CPU time (s) 179.1
Current children cumulated vsize (KiB) 380880
[startup+191.9 s]
/proc/loadavg: 2.25 3.27 3.56 3/178 15911
/proc/meminfo: memFree=30952116/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=393168 CPUtime=191.9 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 1046312 0 0 0 19068 122 0 0 25 0 1 0 892356458 402604032 68027 33554432000 4194304 4365125 140736271150080 18446744073709551615 4262107 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 98292 68027 264 42 0 95440 0
Current children cumulated CPU time (s) 191.9
Current children cumulated vsize (KiB) 393168
[startup+195.101 s]
/proc/loadavg: 2.23 3.25 3.55 3/178 15911
/proc/meminfo: memFree=30957820/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=393168 CPUtime=195.1 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 1046312 0 0 0 19388 122 0 0 25 0 1 0 892356458 402604032 68027 33554432000 4194304 4365125 140736271150080 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 98292 68027 264 42 0 95440 0
Current children cumulated CPU time (s) 195.1
Current children cumulated vsize (KiB) 393168
[startup+196.7 s]
/proc/loadavg: 2.23 3.25 3.55 3/178 15911
/proc/meminfo: memFree=30945420/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=393168 CPUtime=196.7 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 1046312 0 0 0 19548 122 0 0 25 0 1 0 892356458 402604032 68027 33554432000 4194304 4365125 140736271150080 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 98292 68027 264 42 0 95440 0
Current children cumulated CPU time (s) 196.7
Current children cumulated vsize (KiB) 393168
[startup+197.5 s]
/proc/loadavg: 2.23 3.25 3.55 3/178 15911
/proc/meminfo: memFree=30945664/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=393168 CPUtime=197.5 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 1046312 0 0 0 19628 122 0 0 25 0 1 0 892356458 402604032 68027 33554432000 4194304 4365125 140736271150080 18446744073709551615 4242774 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 98292 68027 264 42 0 95440 0
Current children cumulated CPU time (s) 197.5
Current children cumulated vsize (KiB) 393168
[startup+198.301 s]
/proc/loadavg: 2.23 3.25 3.55 3/178 15911
/proc/meminfo: memFree=30945664/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=393168 CPUtime=198.3 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 1046312 0 0 0 19708 122 0 0 25 0 1 0 892356458 402604032 68027 33554432000 4194304 4365125 140736271150080 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 98292 68027 264 42 0 95440 0
Current children cumulated CPU time (s) 198.3
Current children cumulated vsize (KiB) 393168
[startup+198.701 s]
/proc/loadavg: 2.23 3.25 3.55 3/178 15911
/proc/meminfo: memFree=30945664/32951124 swapFree=67050520/67111528
[pid=15857] ppid=15855 vsize=393168 CPUtime=198.7 cores=5,7
/proc/15857/stat : 15857 (MoUsSaka) R 15855 15857 14141 0 -1 4202496 1046312 0 0 0 19748 122 0 0 25 0 1 0 892356458 402604032 68027 33554432000 4194304 4365125 140736271150080 18446744073709551615 4242880 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/15857/statm: 98292 68027 264 42 0 95440 0
Current children cumulated CPU time (s) 198.7
Current children cumulated vsize (KiB) 393168
Child status: 20
Real time (s): 198.759
CPU time (s): 198.764
CPU user time (s): 197.531
CPU system time (s): 1.23281
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 653252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 197.531
system time used= 1.23281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1046317
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= 6
involuntary context switches= 441
runsolver used 0.316951 second user time and 0.6539 second system time
The end
Begin job on node102 at 2011-06-11 17:52:21
IDJOB=3495804
IDBENCH=88388
IDSOLVER=1989
FILE ID=node102/3495804-1307807541
RUNJOBID= node102-1307805738-15599
PBS_JOBID= 13551074
Free space on /tmp= 74144 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/chen/fdmus_v100/fdmus_b22_102.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495804-1307807541/watcher-3495804-1307807541 -o /tmp/evaluation-result-3495804-1307807541/solver-3495804-1307807541 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495804-1307807541.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 25ef77166ed9f7c1c4cb23945eb6ad83
RANDOM SEED=572784547
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: 31191704 kB
Buffers: 295440 kB
Cached: 922036 kB
SwapCached: 25172 kB
Active: 822308 kB
Inactive: 729056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31191704 kB
SwapTotal: 67111528 kB
SwapFree: 67050520 kB
Dirty: 820 kB
Writeback: 0 kB
AnonPages: 330708 kB
Mapped: 9364 kB
Slab: 141804 kB
PageTables: 5408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 654520 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= 74140 MiB
End job on node102 at 2011-06-11 17:55:40