0.00/0.00 c MoUsSaka vegetarian
3.69/3.79
3.69/3.79 s UNSATISFIABLE
78.40/78.40 c Core is minimal
78.40/78.40
78.40/78.40 v 11151 594 11150 11137 11127 11129 11131 11133 4200 3700 3709 3691 3693 42 45 3694 11111 11117 11119 11113 11115 11121 11125 11123 3685 27 3705 48 3711 30 3712 3690 3699 3706 3708 3703 3702 36 33 39 3696 3697 3678 3682 3679 11089 11109 11099 11097 11101 11105 11103 11107 3666 3667 3 11095 11093 11091 3670 3669 3681 3673 3675 3688 9 6 24 21 18 15 12 3684 3687 3676 3672 3757 51 11135 3766 3762 3714 3717 3720 3718 3721 54 57 3715 3754 3759 93 3763 90 102 99 96 11147 11146 11148 535 3804 139 11143 11145 4209 4217 4214 4207 655 571 4231 4226 559 4228 567 564 4238 4234 4233 570 572 4230 4263 4264 597 600 4261 11445 4260 11403 11419 11441 11435 4272 4258 11425 4257 591 11421 4255 4254 11439 4270 4269 4276 4267 4273 11440 11408 11428 4277 11420 11438 11402 11444 11424 589 590 4256 608 4268 611 604 4271 602 601 610 605 607 4274 4275 4265 4259 593 4262 595 11418 11434 596 592 599 598 11412 11400 4282 4285 4280 11401 11443 11442 11409 606 11413 4279 615 609 603 4278 612 4266 11429 613 614 619 617 4289 623 620 622 4283 11422 629 11426 4292 4295 626 625 616 4286 11423 11427 11141 11139 656 556 552 549 138 3802 3801 4201 4198 4195 11149 4223 4211 4213 4219 4216 4322 4320 557 4218 4215 544 555 4246 4247 4221 4239 565 4237 568 4235 554 4224 566 561 4229 539 569 548 551 657 546 4204 558 573 4241 4232 563 4236 4321 4245 550 4222 4220 553 542 576 4240 624 4284 4287 618 628 621 4288 4281 4058 4060 4057 4056 11405 627 630 4293 4291 4290 4294 11404 4310 4298 632 634 631 4301 635 11437 4296 633 4299 636 11436 4297 4300 640 4315 641 651 4309 11430 638 647 4304 4308 645 4313 637 4307 646 11431 4314 393 396 394 4063 453 448 11126 4113 4118 398 11128 11106 38 31 37 34 5 20 4 13 16 22 17 14 10 23 11 7 19 8 1 2 41 44 26 29 397 178 166 11114 11088 11096 11098 11108 3689 3674 3686 3683 3671 11104 3680 3677 3668 11118 3704 11102 11092 11090 11100 11094 3692 3713 3710 392 395 3841 3839 467 4097 3506 11134 47 391 3698 32 35 11112 3701 11116 11110 11120 46 40 43 25 3695 28 3707 449 3868 3844 3842 176 174 3847 179 177 183 186 4079 4123 427 4120 4127 3849 4062 11130 11124 11122 4059 4064 3779 156 399 3530 11138 11140 3818 170 451 3797 11398 4116 207 202 414 409 462 4061 4117 457 3831 4907 3837 3835 3836 4115 3840 169 3834 106 109 3776 3778 3810 150 3813 113 152 111 50 49 146 59 425 4068 55 3725 4075 416 58 52 3722 4072 56 53 421 400 3723 60 3736 418 423 3807 3814 407 3772 4073 112 123 133 417 107 3724 4077 4066 1242 502 4169 455 440 443 403 101 95 98 103 87 197 201 70 7227 3502 7235 3809 3816 75 78 3825 3861 3872 3747 3773 4148 3866 149 410 441 433 438 445 3527 3520 4092 3862 4074 4090 4094 424 4096 127 3796 4085 3817 145 4071 3751 122 120 3791 3783 458 3826 3505 525 503 520 4126 454 4124 1233 3578 7511 7462 11593 11589 7444 11591 7483 11583 7502 7508 7507 7503 11853 7499 11852 7513 11592 11588 7496 11590 7509 7500 7389 11565 7367 7364 11559 11563 11561 7362 7437 7417 7455 7465 7433 11603 7472 7452 7450 7476 7477 7435 7440 7442 7474 7481 7460 7463 7415 7456 7446 7448 7453 7438 7745 11585 7763 11584 11602 7469 7377 11543 7337 11555 7380 7350 7352 7376 7373 11547 11579 7349 11541 7340 7724 7332 11551 7344 11545 7346 7353 7383 7347 11581 7335 11553 7374 7723 7726 11571 7725 7356 7422 7370 7401 7390 7722 7427 7479 11569 7721 7458 7431 11573 11575 7371 11587 7419 7358 7334 11577 7331 7341 7368 11567 7386 7394 7365 7359 11557 11549 7355 7361 11414 11415 130 126 132 206 3867 204 181 125 164 3788 124 413 411 4089 431 429 148 3794 3815 64 3845 4067 4069 3812 198 3743 3798 3869 3771 3846 527 11152 205 3526 105 108 3752 85 3626 3645 3622 3641 7206 3525 3740 160 200 432 3770 3750 3777 173 11399 11136 144 153 3843 3768 3824 420 428 3663 3660 408 3821 172 151 3800 116 3781 405 412 114 110 473 3568 128 3654 3657 180 182 168 3838 3811 199 147 142 4091 3774 4095 171 4070 175 118 4083 4088 4081 422 404 3577 62 65 3581 3649 1241 3514 3519 3512 482 3509 82 3775 154 3848 3508 4087 426 430 3729 4093 67 71 3850 4078 4076 406 447 3833 3732 135 464 470 3795 7210 7221 7232 155 3871 476 479 402 4065 7343 7338 11353 11041 11040 11352 680 679 677 436 3716 3719 3574 401 1238 586 4253 4251 588 1244 1247 575 580 4252 11144 11142 682 4349 4341 4345 4339 681 683 675 4344 4342 672 4335 4336 11087 678 11449 4338 5627 5631 5633 5628 5625 1962 5626 4114 450 452 4906 4112 4905 4108 4102 4100 1243 7172 3515 3511 3521 1246 61 4902 4903 415 7727 7780 7729 11578 4896 4080 7391 7395 4897 4913 4910 4900 4121 4125 1239 1236 4105 97 419 88 92 4899 4346 4348 11086 4347 4343 674 4337 673 670 684 4340 676 671 11448 11070 11071 11042 4690 11044 1031 918 4581 11030 11056 909 11050 4576 913 4582 4616 950 1043 1041 4605 4609 11054 11026 949 1056 958 4630 963 967 11046 1034 4724 1033 921 11052 4584 925 4592 4588 11028 4599 990 4597 4714 4649 4702 4651 4705 4650 987 11048 4638 4642 991 1042 1038 11032 1050 11061 4536 4539 11057 852 844 855 4519 4518 11059 4434 775 4438 4442 771 11014 11066 11064 4445 779 778 4431 4449 786 4450 4455 4463 4466 11012 792 796 799 11068 4432 4454 4447 4470 804 4467 4475 4468 783 4746 1083 4747 11058 11060 11062 787 7175 4712 4617 942 4669 809 4487 821 808 4491 11034 4484 817 11010 813 4480 4492 4476 828 820 4489 4496 4756 4752 4488 4750 4749 1086 4683 1027 972 4634 4621 4636 4635 1005 4626 4681 982 988 4659 4646 954 4620 1057 4596 957 933 937 4716 4713 946 4613 959 992 929 853 846 4506 854 4509 11022 850 4520 4542 4529 4546 1017 4680 1008 975 4668 1026 1012 4694 996 1030 979 4679 4697 1023 4663 11038 1020 1000 4687 4684 4667 4671 4505 843 1028 4727 11024 4501 4507 1060 1061 4689 11036 1071 1074 900 4562 1068 884 883 4571 4564 4734 4563 1075 4738 905 4735 904 1076 4745 1079 1078 4430 763 759 768 11016 4426 4701 840 4499 4658 4704 4709 871 4729 862 867 4550 11020 863 4541 4521 858 4524 861 875 1065 4522 4530 879 4559 11018 903 4551 4567 895 4600 4595 4545 4732 859 4728 4538 4525 874 4534 434 587 1961 11053 826 4485 4486 4478 4482 11011 4733 1094 1092 1089 4753 830 4763 751 4410 1097 1096 11072 11008 4414 825 1093 829 4765 1070 4665 1002 11043 11045 11047 994 4661 998 11039 11049 1348 1429 1434 1349 4593 4601 4590 919 4594 916 4715 11031 917 931 4718 932 939 4710 4711 4657 4648 1019 1037 4706 4682 1021 4677 11035 986 1036 1015 1022 1018 1032 1029 4695 1003 1006 4652 4693 4692 4696 4656 4688 1039 4707 973 4640 4685 971 1004 4673 1025 984 1049 911 11051 1047 2655 4602 4614 4619 11027 4598 4607 952 11055 1052 4725 1054 890 897 11063 4561 4553 4557 886 1066 4736 1064 4739 4790 4374 842 4508 878 4548 856 877 4443 4444 11015 11067 4451 11069 4461 4472 4448 11017 766 11073 4412 749 753 745 4416 1350 4469 899 4762 4493 644 643 827 773 4758 885 898 901 4741 1237 1232 1290 1287 3950 276 4052 300 4019 4001 4043 3983 3911 3890 3932 303 222 360 216 327 279 273 366 237 345 270 363 357 4037 3914 4034 3893 3793 3790 348 187 243 309 3929 3977 4016 3947 4884 1200 4860 4863 1202 1194 1215 1189 1209 4861 1205 4858 4885 4856 1197 4877 4864 4889 4892 1225 1187 1210 1222 4882 1218 1201 1226 4868 4879 342 3787 213 330 240 234 3785 324 219 1223 255 321 4881 258 1221 261 306 1126 757 765 4424 11065 4453 781 4474 803 4452 4473 789 4766 4495 4761 4754 1091 823 831 761 1087 1082 1088 1090 4565 953 1048 894 4511 1067 4583 4743 806 4569 989 4433 860 4740 777 794 802 1014 4751 11009 1098 811 822 4494 1095 4503 930 4723 4744 1080 4574 4730 832 955 956 881 1069 11019 11021 906 4568 798 4428 2656 4549 4655 934 805 2658 940 841 4748 1073 857 4523 927 4708 4647 977 4703 1059 951 1035 1055 4628 4719 4737 4422 4566 4471 4446 4654 4700 807 4717 983 4653 4755 1045 4572 4618 1058 928 838 938 4515 4547 4528 876 4560 767 965 785 1063 4632 1053 896 4459 4604 1046 4580 4625 4675 788 834 11033 1016 4670 819 1010 790 4376 810 815 4698 961 4615 4570 4622 2654 4586 948 4611 1051 4726 4527 1072 4623 864 869 4440 1062 11023 1040 993 865 11025 944 11029 801 4759 4637 4644 1077 981 4465 960 935 4721 4603 4544 4532 1044 4540 4457 873 907 902 915 970 4699 769 4436 784 985 782 836 923 4464 969 4490 4578 1084 1085 4757 11013 780 4722 4526 1081 2657 880 11037 4624 4691 1024 2653 848 936 4720 4742 4513 888 747 4418 800 4497 4517 4731 4555 4543 892 4686 882 3964 4009 3880 3919 4024 3940 3922 4012 5051 3883 3991 4006 4030 3886 3943 4021 3973 3901 1377 5047 1380 705 4364 706 4802 5049 4366 4800 11001 1129 703 11000 708 4372 4371 699 707 11081 3898 4027 3970 3967 4797 697 4798 4373 11080 4368 701 5045 4370 4362 4930 3854 167 188 3953 3877 3988 3907 4049 3980 3994 3925 3904 3934 3937 4004 3917 4046 3896 4040 3956 3985 3962 3998 3959 209 388 3865 203 3859 190 11155 195 3857 191 3858 3648 3584 3650 3637 460 456 3851 11200 3933 11158 3972 11206 11164 11166 11196 3897 3987 4005 11178 11156 3963 11212 3882 11188 3921 3939 4020 11160 11202 4023 3984 11174 11168 3876 11186 11190 11180 11210 3924 4008 11170 11204 3906 11198 11214 3993 3918 11162 3936 3903 3969 11194 3942 3966 3885 11182 3879 11184 11192 11172 4026 11176 4011 4029 11208 3900 3990 4130 4142 4145 4183 4177 4180 1240 3864 1231 1245 1248 3870 196 11153 3863 4157 469 4160 4173 4176 4166 4163 7178 7182 4133 4144 4898 7214 7222 7218 383 292 385 251 314 248 229 283 367 350 266 313 373 377 370 224 262 280 311 374 244 331 353 286 316 349 368 289 371 265 263 337 226 334 284 293 295 379 227 317 376 296 382 287 335 290 230 386 380 338 4053 250 352 223 245 310 281 247 332 466 4141 475 7226 7228 4136 7183 7181 7219 7217 3874 7753 478 472 11083 11082 1235 129 3789 131 3792 4122 1139 1135 1134 1132 4805 4804 1136 1140 1137 4803 1133 1234 459 461 4119 4912 4904 4908 10906 7792 7822 10909 7744 11580 7737 7756 7749 7760 7785 7733 11556 7768 7357 7740 7384 7372 7378 11570 7342 11554 7366 7387 11574 7333 7375 11548 7775 7363 11552 7771 11568 11562 11540 11558 11544 7351 11572 11546 7348 7354 7345 11564 11550 11576 7788 7336 11566 11560 7369 7781 7339 11542 7360 7381 7250 4909 4911 4084 1224 1203 1220 1199 1196 1217 1227 11132 3742 3738 3734 141 208 3820 3819 3823 3827 3749 3822 3744 161 159 526 3830 354 297 369 333 387 249 384 372 11171 11203 275 254 356 326 233 359 242 11175 11159 4013 256 4010 3938 358 11195 11173 325 11205 3555 3558 3546 3564 257 260 272 347 269 305 215 212 221 344 323 236 231 315 336 264 268 339 312 294 291 267 285 252 4901 4955 4952 4949 299 278 3965 355 3881 3941 3878 11169 4036 3923 11197 319 11199 3968 3935 11187 11191 11167 4038 271 11177 497 510 500 519 513 488 481 3726 3727 3728 4022 307 3887 3986 3992 3960 3949 3978 4047 346 4015 3945 3894 11193 11165 4031 3920 341 4140 158 157 364 343 274 11207 4025 11189 4028 11215 3930 301 3892 4035 3928 3891 4051 3996 3913 3958 3931 3951 298 4002 4042 238 253 4048 4003 3916 4044 4014 3979 4018 3981 3957 3999 3955 3976 3927 4039 4033 361 11161 491 3832 3853 11154 194 3855 192 193 185 184 3580 463 505 490 484 494 516 3926 3948 322 259 3909 214 3989 4032 3974 4050 220 3905 211 189 3852 3856 3860 246 11201 3975 3902 11211 11185 3912 11157 11209 11163 4017 3899 3997 3915 277 3888 11181 362 302 351 239 318 381 218 308 288 378 365 329 282 228 320 225 375 3884 3910 3946 304 241 232 3944 235 11213 4007 11179 217 3995 3908 328 3971 340 11183 3954 3982 4041 3961 3895 4045 4000 3952 3889 3575 3569 3566 7209 3533 7199 3873 1291 1295 1297 1299 4360 4359 10998 1293 10999 4356 689 1292 687 1298 693 1294 4358 4350 4361 4352 685 1296 691 4354 4801 4799 1302 1138 4378 1125 4382 4793 719 717 1123 720 4788 1121 1119 1122 711 4383 11003 4796 1120 1118 4785 11078 11079 1117 1130 4794 718 4795 1127 709 1124 4384 11007 1107 733 4783 4771 4409 11006 4778 732 4396 741 4420 4397 1110 4400 1112 4774 4784 4770 727 4781 737 1102 735 4782 11005 725 4404 11004 4776 4380 11002 1128 713 4792 4791 4385 715 4789 1131 1105 4773 4780 1103 1101 756 11076 11074 4386 723 4407 4398 1106 4408 739 4402 4779 742 4775 4392 744 731 4772 1108 1111 743 1109 754 1116 4388 1114 729 4406 4395 721 4390 4394 4786 1100 4768 755 4787 1104 4421 4767 4419 1113 4764 4769 1099 4777 11077 11075 730 1115 1305 4814 4808 1303 1304 1301 4813 4811 4807 1154 694 695 4819 1156 4823 4815 1150 1158 4817 11085 4821 11084 10996 1152 1392 1381 1383 1384 1382 1388 696 4831 1149 1145 1143 4825 4832 4824 4827 1164 1162 1166 1165 1159 4826 1161 1167 1163 4829 4830 1160 1142 1148 1146 1141 4837 1144 1176 4838 1172 1168 4835 1169 1171 4840 4839 1185 4844 1181 7089 7094 2816 2057 7098 5811 2056 1951 2146 2795 1648 2794 5085 6481 1516 3208 3442 6484 1717 5820 3310 3213 6878 5181 1728 5392 1727 1723 1726 5396 5388 1731 5391 3444 3439 1730 7156 6039 5940 6591 2914 2934 2796 2931 2926 2701 6461 2275 2058 5616 2151 2155 6459 6579 6366 1545 1548 1542 1651 6584 3198 1652 5393 6880 6879 6731 3411 1719 1721 3429 3433 6875 6728 5606 6449 1420 7144 7142 3415 5008 6715 6368 6356 5011 5536 7244 7241 3529 11636 7658 7685 7676 7589 7655 11622 7571 7541 11648 7688 7673 11628 7565 7628 7694 7544 11610 7652 11630 11652 7598 11642 11618 11620 7649 11616 11638 11650 11646 11640 7691 11654 11664 11644 7586 7607 7583 11634 11608 7634 7568 7550 11632 11660 7601 7637 11612 7631 7604 11656 7547 11662 11626 7670 11614 11624 11666 11658 7562 480 3551 3539 84 477 162 3543 3535 4143 3559 3547 3532 4098 437 435 4110 4106 4103 3730 3731 4954 1275 1277 1284 4937 4951 4939 4947 1271 1270 4938 4943 1265 485 506 4174 4151 4172 4182 3560 3548 389 1268 1859 1965 1963 1280 1356 1351 3428 5017 5015 1430 5019 11257 1279 4946 6475 6473 1729 2730 2727 4948 3431 2720 6965 7034 6782 6854 1422 1365 1368 1371 1416 1569 1575 1572 1343 6677 6580 493 4055 3875 1330 1289 3212 3211 5395 7060 6791 7043 7064 7051 6974 7057 7067 3189 3204 3206 6872 7075 7073 3199 6796 6793 6863 7069 6867 3405 7068 3407 6795 6710 3406 6868 3216 6707 6866 3209 3396 3398 6899 6886 3401 6902 7059 6977 3311 6982 6623 6604 3129 6792 3200 7082 6998 7050 3384 3387 3400 7047 6995 7056 7078 7085 6686 5828 5615 2053 6594 6687 2177 7111 2170 2280 2284 2175 6477 7074 6365 3132 6458 2919 5830 7129 5313 5824 5382 5316 1714 5317 2161 5721 2923 7108 6296 6462 3425 6265 6293 5845 5089 668 3233 3236 3065 3062 6712 3329 3332 2204 4328 1547 4334 2630 4243 5725 6262 578 5417 3475 1178 4848 4895 1180 1375 1379 1389 1391 1177 4847 4849 4828 1147 10997 4810 4812 4809 4806 1228 1331 1979 7077 1982 3416 6688 2207 3205 6694 6626 2702 3414 6691 6979 2627 3041 2960 2957 3044 6601 6883 5418 1740 6065 5404 1746 5419 3419 2819 5638 5642 5623 2176 5720 5314 5708 2054 2171 5645 5717 5648 6468 6463 6469 2805 5620 3461 2799 2924 3465 3459 2379 2285 3424 7102 5369 5378 5381 5383 5207 5213 5210 2283 5450 3453 5939 5435 5947 5188 1715 1653 5946 3447 3450 1650 3440 5867 5863 5848 5401 5203 5303 5312 5240 5230 5218 5237 5234 5870 7106 5873 5513 5447 5826 1720 5438 1877 5398 2414 1880 1574 5185 5215 1772 1769 1571 2411 5956 6509 2922 6586 5718 6578 6585 6512 2384 6248 7110 6077 6482 6046 2169 6258 7114 6582 6173 6259 7127 5944 3418 6465 3423 5838 6045 2382 6466 2595 2383 3436 6154 2276 5722 1952 6485 6080 5942 2484 6257 7087 6176 2802 6395 6043 2166 6147 6392 5387 6598 6471 7091 6590 5821 7116 7086 5543 5546 2157 5618 6472 3024 6146 7117 7122 5540 6148 7103 5394 3467 5104 7095 2162 6478 7096 1724 7093 5390 2809 5083 6055 6476 2927 7100 5030 6595 5082 5026 6597 5092 5111 6593 5183 5087 5521 7135 1517 6487 2808 2814 7123 2810 5168 7092 3455 5072 3434 3432 7139 2846 3454 6373 2818 2160 3460 7128 3471 1515 5177 6581 6583 5823 2915 5178 5033 5036 5179 7133 1419 1421 7134 2815 5108 3466 6490 5081 5114 2510 2729 5953 2726 2843 6370 6052 5644 5647 7120 1370 2507 1367 2309 1445 5518 6151 1448 6464 7065 2804 6592 2043 3538 4082 6881 7084 3457 1713 1649 1647 1722 3462 2583 1424 3130 2152 1849 3012 6589 1718 6975 3215 2700 7066 7072 6367 5840 1839 5842 7143 1262 4933 6470 5827 5006 7138 3494 5084 3498 3451 7088 3417 6876 3476 2811 3473 2168 2167 2156 4324 7081 7155 7079 2265 2153 1950 3300 2165 3420 6587 3386 3309 2817 3207 2958 5385 5380 2278 2173 5945 6044 5822 2286 5812 2158 6599 6976 6877 6596 5816 7070 2174 2178 3452 2377 2385 2172 3456 2274 2163 2472 2075 2951 3202 6873 2812 2279 7130 5182 5386 2939 3369 2933 7124 4249 4331 1716 3045 3408 3402 6797 3022 3470 3474 1417 5001 5723 6040 3472 2052 1980 1983 7112 5719 3201 5315 5318 2592 2380 3463 5819 6871 1518 3404 7131 3385 3042 1514 3333 2483 7063 3210 7132 3392 3237 1512 1513 6870 3468 5180 1449 1446 3117 1335 7080 6048 3131 5389 3399 5379 3128 5086 7136 3409 6794 2145 2148 2150 1725 2055 2079 3382 6864 2921 2913 4925 1773 3395 5516 3126 1258 3378 3426 2917 1848 1941 659 3480 1338 7076 5825 2159 6480 6869 3063 2481 3214 6865 3127 2955 3438 3403 3021 1850 1770 5841 3492 3469 582 7152 2313 5384 7148 2784 2904 2691 1638 2373 2381 4333 3489 3481 1418 1503 5004 1704 2364 2136 669 666 663 7166 1339 7161 4945 1341 6625 7162 7160 4996 6727 6622 6730 2060 6172 584 3047 5634 6718 6720 11310 3057 3485 4330 7193 521 4994 6323 6321 6318 6319 6328 4997 1257 3484 3482 3500 1329 5002 4998 4922 4928 1340 3503 7151 4999 1332 4995 3493 3499 3741 83 81 444 446 4107 4104 210 390 4054 3745 4086 104 77 7202 7205 7207 442 4101 66 63 439 4109 4111 74 72 91 80 73 69 3735 86 4099 3733 163 3565 11447 487 1261 1259 2149 3050 6292 5437 5728 1544 5749 2085 2082 5831 5545 5949 5834 1881 5542 2205 1853 3449 3446 6508 1523 1553 6076 2482 7125 6047 6391 3464 5950 5835 5930 5434 7126 2081 5977 5941 5746 1878 2164 1953 1875 2208 1856 5617 5836 2277 1871 6215 6218 6219 6425 2759 2757 6419 2752 6424 6422 6423 2760 6420 2983 1313 4967 1319 4985 4971 1317 1308 1310 4980 4972 4976 1300 5041 5043 1378 4963 4961 4962 5048 4958 5040 5044 1376 4970 4964 4957 4960 4956 4959 1306 4836 4833 1173 4841 1315 4969 1316 2995 6544 6531 6534 6539 6538 6536 6541 2878 2877 2874 2880 2558 2549 6651 6658 6325 2981 2980 6646 2545 6320 6650 6223 6655 6327 2547 6216 2663 2996 2554 6222 2984 2660 2991 6214 3158 2659 2667 6217 6649 2666 6332 6654 6322 6653 2994 2238 5997 5999 2237 3282 3153 6821 6825 3091 6759 6767 3152 3090 3346 6755 3349 6935 6762 7017 3099 6925 6830 6753 3163 3348 3009 3114 3092 7016 7012 3087 3157 3168 3172 3173 6839 3171 6822 3188 3093 3186 3156 6824 6937 3350 6448 2778 2780 5274 1678 5275 1680 5279 1679 5278 1674 5271 5276 1677 1673 1675 5272 5353 5341 1612 1613 5338 5343 5344 1611 5342 5345 5340 5337 5339 1608 5349 1676 5354 5347 5273 1672 1686 5772 5346 1688 5350 5770 5575 5671 2012 1903 5277 1606 1614 1607 1609 1610 2013 1687 1683 6671 6776 3368 3297 6961 6350 2690 6352 3116 7008 5775 6778 7028 6959 7030 2688 6848 3299 1906 1910 5571 5774 2104 5776 3185 3183 5569 6850 2107 2105 1620 5280 5281 2132 2130 6355 2687 2101 2109 2111 2110 5769 2239 5901 5773 2230 5902 5899 5903 2234 2332 2336 2338 6001 2335 2339 6003 5909 1692 5137 5766 5140 5144 1474 1476 5602 1473 5142 5138 5143 5136 2118 1477 1479 1471 1478 5565 5139 1475 1472 5600 5141 5365 5046 5363 5359 5356 5054 5334 5042 6962 5283 5290 1617 1630 1626 1621 1622 6426 5056 5293 1637 5288 5924 2264 2262 1696 5926 5297 6414 1385 6443 6429 1635 6445 5299 1703 1701 5284 2040 2042 5702 5704 6226 2580 6229 2562 6228 6225 2346 6010 6014 2347 6006 1940 1938 6007 5052 6235 6238 1390 1486 5146 1399 1395 5059 6009 1495 5057 1491 5148 1487 1485 5153 5155 5066 5053 2348 5068 1502 5062 5149 5158 1406 5162 5145 6242 2783 1482 1386 5164 6244 2582 1500 2781 1404 4187 4193 4189 3427 2593 2801 2508 2797 1443 1427 1407 2202 3039 3327 3231 2841 2409 2390 3029 2825 3317 2307 1977 3221 1767 2183 1736 2625 2505 2600 2489 1958 5212 5035 5239 5113 1439 5872 6901 6709 6997 3314 3218 1733 2198 2303 2837 1973 3227 3323 5209 5236 2621 5032 5110 5974 2180 6898 6706 6994 2822 5869 2387 1955 1624 6568 5302 5060 2461 1493 1689 5368 5294 5069 5296 1373 1488 6566 2900 5366 1403 1497 1603 1499 6674 3008 7031 1835 2261 1691 5151 1481 1694 1634 1387 5152 1484 5357 1394 6851 2579 6247 6136 1480 2898 2037 2466 5165 5167 1401 5071 1627 1698 6128 5295 1616 5798 6134 5605 5603 3006 6964 6853 6779 7033 6781 6676 6245 5927 2468 5055 1397 3113 2431 1700 1682 5150 5064 3363 3365 3294 3296 5707 5705 5501 1937 5929 1935 2360 2358 6028 6026 1632 1625 1684 5160 2039 2259 2577 5503 1833 5285 7137 76 7482 79 7480 7459 7439 7436 7461 3746 3748 7443 7441 7187 7189 4935 4940 4305 639 4316 4302 1354 1273 1432 4303 4306 4312 649 642 1272 4936 5021 1353 1355 5016 4326 4319 653 665 1286 3364 3112 3184 3295 5448 4139 3550 1751 1743 5407 6063 1761 5414 1748 5413 1756 1747 5423 2398 6059 2393 1752 5415 5412 5410 1755 1750 5409 6061 2392 5403 2399 5416 1757 2397 1749 6377 2609 2710 2605 5411 2611 6376 2603 2613 6609 2712 2494 2610 6268 6276 1567 5205 5201 5194 6273 6267 2604 6607 2606 6269 6274 6271 6159 2623 6281 5406 6280 6161 5190 6277 5191 5193 1536 5198 5200 2612 2607 6275 5225 2615 6058 1559 5227 1530 1532 1531 2602 1540 6156 6157 6279 2614 2608 5421 6270 6272 6611 5014 1525 1526 1527 5192 1557 1563 5196 5220 5013 5405 2185 5523 1864 1873 5527 1738 6057 5408 5854 5531 2941 2187 1744 5853 2394 2189 5852 2193 2188 2944 5855 6610 2186 1960 1741 1742 2077 5860 1975 1966 5525 2942 2496 5731 2491 5735 5858 2190 5851 1858 1971 2191 6608 5850 2192 2196 5524 2200 2068 2946 2717 6288 2715 6378 1535 1560 6606 1758 6613 5530 5534 6888 11432 2953 11416 3229 2943 5737 1862 5528 1861 5224 5222 1866 1868 6387 6500 6164 11406 5024 2616 1562 1533 1528 6495 6504 6383 5538 5028 5018 1358 5020 5195 6068 6614 5098 2948 6618 2070 2949 3321 3325 6072 5732 1555 2400 1964 5422 2396 5106 5102 6696 5096 1436 1352 2065 3037 1529 3033 5232 6278 3054 5734 3058 5197 2072 5228 2066 5733 6168 1970 2834 6894 6986 1760 11407 2828 2395 11417 6698 5742 5738 6990 5223 5640 6702 5636 5426 5861 5430 5857 5856 5865 5966 2195 1968 5970 5632 2298 5630 2294 5420 6062 1556 5962 5960 3052 2402 6064 5961 2293 6494 3031 2827 2618 5635 4942 1278 1274 1282 6067 648 650 1441 5221 1558 2495 6163 2493 2718 6499 2831 2835 2714 2503 6492 2499 6375 6380 5094 6382 6497 2829 2722 1437 2713 2839 4311 5095 5101 1433 5099 1431 1359 654 4318 5533 5023 661 1363 1863 5959 5963 2295 2301 5958 5965 6493 2305 2297 2296 5526 1865 2830 4974 4977 11433 6890 6723 6158 2492 6160 6719 6496 2929 6460 3435 2925 1763 2501 3056 2282 2800 2067 2511 3441 1869 3430 5730 2703 5948 6149 2281 1314 2961 3066 2073 6379 1745 1753 5097 5529 1739 1860 6284 7071 3391 7052 3203 6874 3234 2310 3026 1520 3035 6689 3445 6175 2486 5771 2936 6295 1550 6511 5568 5577 6079 2112 3164 3448 2932 2820 2793 3023 2711 6760 5777 1346 1765 5573 6221 3413 2407 3154 7014 3410 3161 3011 3366 6673 5905 2333 2798 2069 7083 2631 7099 7097 2928 7090 6588 6819 6829 2756 6542 1912 6421 6220 2553 6662 2548 2987 6283 7105 3159 2705 2662 6835 2106 2597 6823 6417 6657 6213 6394 3089 2803 6467 3421 2813 2920 2916 7119 6049 7115 7118 2291 2628 2288 2650 2749 5800 5282 1623 5629 5348 1685 5361 5147 5286 5352 1967 6717 2708 2063 1615 1170 1230 1179 4850 4834 4893 4842 2863 7013 2108 2594 5050 5425 6647 2982 1565 1538 6936 2844 3088 2869 1175 1174 1183 4843 2542 6315 5889 7153 2224 2002 7018 7109 3443 6652 1798 2977 3458 5287 6331 2329 3223 2832 2300 3319 2498 1754 1361 2930 3422 2724 1468 1669 5300 5351 1681 5156 1483 1490 4846 1182 4845 5667 5038 6096 5133 5005 2945 3225 6984 2403 1618 1628 1619 2405 6000 3343 3256 6210 6648 6831 6231 3082 1900 3165 5291 3148 1320 4984 4982 4978 2619 6060 1307 5994 4965 6528 1311 4975 4973 4966 4968 5268 7311 7247 7316 1328 1326 3737 3739 68 121 117 140 3767 3758 94 3764 3755 3761 3780 3769 134 115 3784 3803 137 11582 11586 136 143 3806 3808 119 1254 1256 5711 7169 7312 7196 3629 7309 7304 7299 7300 3636 7298 7295 3625 3612 3609 3615 3587 3583 3605 3638 3590 7292 7308 7289 3616 3617 3623 3621 7516 7532 7520 11606 7497 4915 4990 4986 6483 7061 2847 2415 2412 3394 3330 7101 6260 2806 3060 3111 2685 6446 6353 2376 2378 3312 7049 3412 2918 3805 3782 3799 3786 3640 3631 7307 6572 6576 6255 6785 6789 6251 7045 3304 3381 6684 6680 3371 6693 7041 6857 2693 3014 2786 2906 6452 3193 3191 2140 2138 1945 6861 6968 5511 7037 5507 3383 5715 2695 2587 2908 3016 2045 2788 1841 2585 6363 6972 6359 3373 5804 1324 5808 5613 6456 1249 1253 5609 3119 3302 2047 1843 1943 3388 3121 1322 7279 3600 3602 7276 11410 7264 3592 3595 7268 3596 7259 7272 3593 11411 7262 7263 3536 7285 7283 4154 4179 4188 4992 4988 4920 4916 7188 6813 6642 6747 6921 6207 7548 7533 7545 7531 7677 7608 7632 7674 7695 7599 7572 7689 7587 7584 7650 7692 7605 7629 7656 7671 7602 7563 7638 7635 7551 7521 7542 7653 7686 7569 7590 7566 7659 1709 1504 5309 3374 3389 3370 1412 5078 5080 4993 1705 5375 5377 2905 2365 5614 1946 1942 1844 6973 5510 6143 5612 6145 2477 2473 1840 2137 2909 7058 1408 1643 1639 3013 2369 5936 3305 3301 3017 2588 2696 2789 4991 3122 3190 3194 3118 5938 7044 5714 5716 2266 2048 2270 5807 5512 1508 7062 6455 2141 5311 2785 2584 2692 2044 5809 6035 6037 5174 5176 6788 6457 6790 6860 6862 7040 7042 6254 6575 6577 6685 6683 6256 6362 6364 6971 7055 1321 1325 2051 3020 3018 5374 1511 5173 1509 1712 1710 1644 1646 5308 3375 5077 1415 1413 1947 3197 2912 1845 1847 3377 3306 3308 3390 3123 3125 3393 3397 3379 6682 5806 6034 5505 6859 6361 3195 5935 7039 7054 6253 6787 6454 5509 5611 6574 6970 6142 5713 2142 2792 2144 2699 2697 2049 1949 2589 2910 2591 2790 2273 2271 2372 2370 2480 2478 6966 6138 6678 5802 6030 7035 5931 6783 6855 5709 5607 6357 6249 6570 6450 5073 5304 5370 5169 4919 4921 1252 1250 4917 1631 1629 5292 2267 5937 5933 6144 2474 2269 6140 2476 6036 2368 6032 2366 4987 1327 1323 4989 6453 6451 5074 1506 1510 1410 1414 5170 5172 5373 5076 5371 4914 1255 1251 4918 5610 5608 5805 7036 7038 7048 7046 1711 1707 5307 5305 1645 1641 1409 5306 5372 1706 1640 5376 1505 5310 5075 1642 1708 1411 5079 5171 1507 5175 6786 3120 6784 3124 6967 3376 3303 7053 6969 3019 6858 6679 6681 6358 6360 2698 2694 3015 3380 3372 3307 6856 3196 3192 5508 5932 5934 2268 2272 2050 2046 5710 6141 6573 2787 6252 2791 1948 1944 5712 2590 6033 2586 6250 6847 6845 1690 6130 5497 3360 1697 6768 1825 5061 1400 1398 1184 1494 5157 1496 6558 5358 2775 2777 1695 2463 3347 3354 7019 6930 6928 3275 3085 6752 6756 3086 6751 6750 6754 6667 6664 3151 6827 3155 3285 3260 6816 3271 3352 6826 6820 3160 6817 3162 6818 6758 6833 3278 6828 6757 6645 6832 6127 5467 5466 5468 6103 2883 6337 6341 6346 2448 6111 6107 6112 2439 2445 6102 2447 6113 2441 2446 2444 2440 2438 5473 5480 1812 1806 1803 5469 5475 5472 1809 1815 1810 5470 5471 1804 5479 5477 1801 5476 1805 1813 5474 5478 1808 1802 1814 1807 1811 6838 3169 3098 6765 6836 6837 3167 3176 3170 3179 3166 6761 3174 2356 6016 6019 2244 6772 3101 6763 3100 3096 6769 3109 3105 6950 3273 3267 7011 3361 3288 3357 3292 7015 7021 6955 3353 6927 3264 3283 6947 6844 3261 6924 3004 3284 2567 2575 5907 2571 6943 6940 6939 3000 3181 3177 6841 3351 6942 3269 7024 3280 6952 3279 6834 3276 3268 3281 6931 6439 6436 5587 2675 2679 2683 2674 6547 6546 6559 2896 6554 6118 6122 6124 6115 2454 2451 2455 2888 6556 2892 6550 1933 5593 1920 1924 5586 1925 5591 1929 5596 2119 2115 5896 5583 5584 6017 6021 6011 6013 2227 2247 2257 2253 2249 2015 2243 2250 2246 5912 5913 2245 5911 5922 5918 2252 2255 5920 5917 5908 5910 6227 5783 5683 2341 6012 2349 2345 2351 2342 2344 6008 2354 5678 5693 5598 5590 1928 1931 5589 5594 1919 5585 1926 1918 2007 2009 2121 5789 2123 2126 5793 2114 5784 5780 2116 2889 6551 2885 6552 6557 2884 6553 2894 6561 2891 2882 6548 2761 2881 5785 6932 6660 6774 2765 6770 2771 2762 2764 2563 6431 2678 6348 2676 6846 3107 2672 7026 7022 2668 6240 6948 6236 6230 3104 2564 2573 6433 6340 6766 2669 2990 2560 2681 6441 6428 2769 2568 6764 6661 6432 2993 2997 6665 2999 3002 6953 3097 3095 6669 2561 6335 2992 6232 6659 2989 6344 2570 6957 6949 6656 2671 3102 6842 6339 3094 2774 6437 5689 3356 3265 3277 6944 3272 5684 3262 6945 3287 3266 6941 6934 3290 3359 6946 3259 3270 3263 6933 6926 6929 3274 6938 1824 1819 1816 1817 1820 1829 5496 5492 5488 1826 5483 5486 2453 2457 6129 6119 6125 2449 6116 6121 2452 2450 2459 2462 5487 5688 2117 2113 2022 5672 5698 2031 2035 5695 2026 2020 2030 2033 5691 5687 5700 5696 5690 5692 1229 3030 2684 6771 3178 11266 5697 3005 6843 1828 5495 5065 1396 2254 6775 1693 6956 3289 6773 7025 4979 7027 3106 6958 3358 6020 2125 5699 6442 6440 5622 1959 1978 11286 2893 6347 6562 1309 6022 3001 5792 5063 5360 5921 1930 6668 2032 5794 2773 5599 5923 5161 5597 6670 5362 6714 3051 5159 6239 2680 6241 5701 1492 6560 6349 6840 2576 6345 5919 5787 2129 1934 2034 2353 2127 6438 6666 2465 6015 3182 3103 2258 6237 1832 2897 1932 5916 2029 2998 2569 1393 11264 1312 4981 3291 3108 5595 5790 3110 2036 2574 1489 2895 2357 6954 6951 7023 2682 2572 2256 3293 3180 3003 2355 5493 6663 6018 3362 6126 1830 824 4760 2985 2986 2988 5680 5675 2027 5681 2011 2016 2006 2010 2025 2019 2018 5674 5676 5682 5673 2014 2017 6131 2363 6565 6563 2911 6050 5813 5815 2147 6031 3437 5670 2371 2312 2005 2475 2479 7107 6571 6385 6070 6074 6389 6166 6892 6506 5968 5740 5432 6725 2469 6133 2471 6023 2901 2903 2361 6025 6479 2807 2374 5677 1923 2024 5685 5679 5686 2008 7104 2228 2028 2021 2023 2229 1911 1908 1905 2907 6569 5978 6029 6038 5832 5943 5818 6137 2367 6041 6139 5975 2375 5951 5814 7121 6042 7113 6474 2870 5998 6533 2334 2871 2872 2437 6108 2456 6545 2233 2876 2343 2442 2464 6120 2460 5897 6117 2875 2886 6543 5915 2248 2873 2236 6004 5898 5892 2868 2866 5904 6537 2235 2879 6535 2867 5906 2231 6002 2242 2340 6616 5744 6721 5428 6286 5972 6170 6700 6988 6896 6620 6704 6502 6290 6992 5894 6104 6105 5893 6114 6106 2443 5900 6540 2241 6549 2887 2352 6005 5895 2337 6532 5914 2240 2232 5801 5843 5817 1851 5514 5829 2154 5747 5506 1842 5750 5810 5803 2139 1846 2143 6211 6212 2565 4891 4883 4875 4886 5500 2133 2135 1836 5498 5463 1838 5797 5795 2084 5839 5833 5515 5837 5504 6334 6338 6333 6326 6336 2665 2661 6343 2772 2776 2768 2566 6427 6418 2766 2664 6224 6430 2546 2763 2559 2551 2555 6434 6233 2754 2753 2755 2758 2767 2556 2550 2557 2552 2670 2673 6330 6324 6329 6100 5782 6101 5779 5485 2435 5786 2120 2128 1821 6110 1822 5781 5491 2124 1818 2436 5481 5494 1916 1917 1907 1909 1904 1922 1914 1915 1913 1921 5578 5581 5579 5570 5572 5580 5588 5582 5576 5574 4859 4862 1195 4867 1193 4854 4890 1198 4874 4888 1219 1216 4865 4852 1191 4887 1212 4866 4870 5484 1823 6099 2434 5778 1831 5489 5482 1827 6109 5791 5788 5455 5462 5452 5458 5464 4880 1214 3053 574 1534 1561 1423 11253 5090 1276 652 4317 4934 1267 11301 4950 11347 4931 1264 581 4953 4244 577 11349 4941 658 11259 4325 4327 5859 6282 5100 583 11303 4329 4250 11348 4242 579 585 4248 664 11302 4332 667 1269 11300 4932 1285 1266 1288 4929 11346 3040 3232 3318 6885 6981 11262 3328 11260 3222 1347 11298 5010 1366 5187 1543 11294 11292 1428 11296 1444 5091 1524 1554 1570 5217 3061 2956 6603 2940 11268 2626 11270 2725 6153 2709 6372 2506 2490 11274 2601 11272 6264 1737 11280 1768 5400 2080 11282 2064 5727 2292 5955 2308 11290 2391 11278 2410 6489 2826 11276 2842 6054 1735 11281 5433 5402 1857 11284 1876 5520 5022 2203 5847 11288 2184 11344 1362 1440 11342 5025 1442 1364 5103 2062 5729 5522 11283 5745 1855 5541 11285 5643 11287 1957 5624 6983 6897 6171 2488 6374 11277 2707 3316 6390 6605 6621 5849 2290 5957 2599 5973 3220 11261 6507 5868 2389 2182 6155 11289 11291 6705 6726 2938 11269 11273 11275 11265 11271 6491 2824 6716 11267 11263 6887 3049 6993 6056 6075 11279 6695 3028 6266 6291 1357 1435 11295 5189 1522 5226 6612 6889 6985 5964 6381 6162 6697 5199 5424 5736 5532 6066 6498 1345 11299 5012 5031 5109 5093 1426 11297 1564 11339 11341 5233 5231 1537 5204 11320 11330 1872 11326 2723 5739 6699 3036 11312 1766 6069 1764 2306 3059 2954 2952 11314 2502 6285 2622 2624 1874 2504 2721 3324 3326 11308 6165 2406 3038 6384 5637 11332 1974 11328 1541 5202 11340 1539 6501 11322 2840 2838 1568 1566 5229 11338 2076 2408 5427 11324 3228 3230 6891 11306 6987 5967 5862 2078 11318 2199 11334 11336 2201 2304 1976 5535 11316 6615 5208 5219 1552 5235 11293 1969 1759 2947 3224 2497 3032 2194 2833 2071 2617 2716 2299 1867 3320 2401 5971 2197 11335 5864 5969 11337 2302 5866 6893 6505 3055 11331 6989 6287 6386 5206 11327 1762 5429 5431 11309 5539 11307 6169 6167 2620 2719 5639 6724 11315 6617 11313 6701 6895 2500 11323 5537 5741 2074 1972 1870 6071 6073 2404 11325 3034 6619 11321 6388 6722 11317 3226 6991 6703 11319 2836 11311 11329 6503 5641 5743 6289 11333 2950 3322 1438 5107 11345 5105 11343 5027 1360 5029 5112 5009 11255 1342 1852 11241 5544 5519 11228 6261 2598 6369 2629 11230 2728 2706 11250 5214 1521 5184 1546 1551 11248 1573 5034 5646 6393 11221 11235 3217 11231 6713 3313 2704 5976 11245 11219 2596 6174 11217 6510 2935 5748 6488 6078 6263 11239 6624 2386 11233 3025 11229 2485 11225 6294 6371 6053 2059 1954 6996 5846 11247 2179 5954 11249 1549 1519 5238 5216 5436 11237 5399 1732 11251 5211 5186 11223 11243 6602 2821 6980 2287 5871 6692 6708 3046 11227 5726 5621 6884 6152 6900 6729 6711 3048 11220 3064 1879 2413 11244 1854 11240 11246 2289 6486 2845 2823 1956 1981 11232 11242 2061 2083 11238 5397 2311 11234 2388 11236 1734 6690 11222 11218 5517 2206 5952 5844 2181 6051 5619 1771 2509 6150 2959 2937 11226 11224 6600 2487 6978 3315 6882 3043 3027 11216 3235 3331 3219 5724 662 1283 4323 1281 4944 11258 11256 660 1344 1369 11254 5007 5088 1447 1425 11252 3601 3589 7275 11305 7278 11351 7708 7720 7582 7645 10954 7561 10977 7537 10957 7540 10981 7699 7627 7705 7495 7488 3604 7648 7527 7666 7618 7888 7517 7525 10912 7487 10941 7883 7457 7739 7880 7776 11598 7478 7454 7898 7759 11600 7761 7774 1318 5132 1470 1501 1671 6852 3255 3257 3147 3149 3250 6815 3142 6675 1996 2100 2899 2862 2102 2864 2003 2001 1899 1901 3342 3344 3334 3337 3081 3083 2978 2976 2971 3076 2748 2750 2578 2743 2543 2541 6644 11595 11597 7895 7787 7736 7409 7475 1469 1467 5135 5166 4894 1372 5070 5039 2432 2430 2467 2095 1894 5799 5768 5567 5604 2425 6098 6135 7746 7782 7748 7734 7732 1602 1604 2131 2536 2857 1799 1834 1797 5301 5270 1668 1670 5336 5367 2225 11596 2223 11594 2260 2651 2649 1792 6416 6447 2218 2686 6780 6749 7032 7010 2644 5706 5669 6963 6923 6530 6567 6246 6209 1663 7006 5502 5465 5891 5928 6317 6354 2359 2328 2330 2323 5996 6027 6999 1776 5439 1783 1781 1777 1788 5440 1577 5243 1576 1579 1986 1583 1582 5241 1578 5242 1580 5649 5651 5249 5876 2210 5246 2214 2209 5446 2514 3238 3246 3248 2512 2517 2520 2519 2518 2523 3136 3070 6903 6907 6911 2521 2522 2637 2735 2525 2969 3074 3140 2736 6182 2526 2734 6185 2530 2513 1787 1782 1785 6180 6181 2965 2212 2515 2516 6184 6183 1884 1586 1581 1584 6187 6186 1585 5441 2317 1587 6188 6302 5245 5244 5248 5247 6401 5251 5250 6191 6195 5449 5445 5659 2319 5981 5986 2314 6735 5655 6913 6199 6307 6634 6805 6801 6739 6520 6406 6304 6403 6301 6300 2636 6400 2635 1775 6399 1883 5548 5756 5549 1882 5547 5752 6189 2532 6190 1985 2524 5754 5758 5557 6088 2315 5553 6628 6202 6808 6409 6523 6310 6916 1984 3143 3251 1597 2327 2325 6741 6915 6203 6205 2859 3252 6410 6640 6412 6811 2215 3247 6524 5563 7004 6745 6743 2968 2740 2641 6313 6311 5461 5665 3077 6742 2972 6637 5979 6084 1790 5982 6630 5875 1888 1774 6516 2738 2851 2089 1990 2321 5991 5987 5984 2318 2316 1793 1779 1786 5460 5456 2093 2419 6089 6093 6086 2216 1994 2855 2639 2642 2741 1892 2423 1889 5558 5555 1887 5550 5562 5442 5453 5980 5551 5653 1991 2088 1989 5652 2090 6733 5763 5759 6411 6081 2420 6305 5879 7001 2213 5882 5886 5664 5657 5660 6397 6514 6525 2852 6513 6518 2850 2418 6521 5751 5443 6082 2211 6404 6407 6799 6627 2529 2634 2638 6909 6740 6192 6312 2737 6732 6193 6908 2531 6298 6810 2537 2744 2219 2096 1997 1895 2324 2426 2645 2858 5992 5990 5887 1891 6094 6919 6526 2854 2092 6809 5885 5459 3139 5561 5764 2533 5663 2422 3073 5762 1789 2320 6638 1993 6917 6092 1459 5129 1660 5131 1462 5332 5264 5330 5266 1594 5985 6738 2528 3134 3138 6910 3135 2733 3137 3069 6297 6918 6632 6200 3071 6396 6914 6806 6635 2966 6639 6905 3241 6308 6197 6744 6737 7005 6798 6803 2964 3239 6204 5321 1654 1662 1659 1666 5761 5323 5121 5122 1596 1454 5257 1458 1453 1588 1593 5255 1589 1461 5120 5125 5128 1600 5560 5326 1995 2856 2091 5654 2640 6631 3145 2853 1987 2849 3240 3245 3253 1886 6085 6299 6303 2633 6402 2731 3249 3243 5656 2087 1465 2970 2535 3336 6398 2098 3340 6906 6083 3075 3141 5755 5753 6517 6515 2086 2421 3079 2643 1988 2428 6629 2860 2424 2742 2848 2632 2962 1992 1999 2647 6904 3244 2967 2974 2539 6194 1897 2326 5983 2527 1885 1890 2322 1893 3068 6091 2417 5329 5263 5260 5256 2094 2746 2416 3072 3133 6734 6802 5662 3067 6736 5989 2739 6800 5554 2732 6196 5552 2963 7784 7406 7555 7903 7987 7621 7684 10936 7702 7669 10973 7492 7558 7714 7594 7615 7663 10944 11604 10938 7414 7717 7484 1464 5124 1466 5127 7642 7576 11713 7597 7612 7711 7579 7518 7681 7526 7624 7256 7253 3586 3339 5757 5134 6178 5884 5878 2221 6309 6807 2861 3144 6633 3080 6804 1898 6408 6198 5559 7002 2581 2902 2865 3115 2751 3187 2782 3150 1939 1800 1837 6522 2648 6201 2745 3146 6636 6306 6912 1998 1896 2000 6519 5658 5760 3078 2097 5163 5925 2331 5267 2362 1636 5269 1605 1702 5988 5298 5364 5333 1601 5325 1599 1667 5328 1665 5262 5259 6177 6179 1699 1402 1633 1498 2038 2779 1936 3007 5880 4983 3254 2220 2222 2540 2646 2747 2973 2538 6405 5556 2975 6024 3341 2099 6087 1784 1780 6564 1791 5444 5451 1778 1795 6132 5067 5650 2217 5335 5126 1460 1463 5258 1451 1457 1655 5320 5115 5118 1450 1455 5322 5888 5668 5890 5666 5993 5995 7007 7009 6746 6413 6415 5564 6777 6444 2429 2427 3242 2534 5252 5874 1656 5319 1664 1452 5254 5117 5119 1657 1456 5324 5331 1590 5253 1595 1598 1658 5116 1592 1591 5327 5261 5265 1661 5123 5130 5767 5765 6641 5566 6960 6527 6529 7029 6849 6812 3345 3367 2979 3010 1796 2263 5703 2041 3298 2226 3084 2004 5601 5499 2134 2103 5796 1902 2544 2470 2433 6097 6095 6090 1374 1405 5037 5881 3258 5877 6351 5661 5883 5454 6920 6922 6316 6314 6643 6243 6208 6748 6672 6814 2689 2652 1794 5457 6206 7896 11599 7876 7878 7868 7881 11601 7893 7407 7865 7399 7891 7403 7410 7899 7884 10950 10948 8552 8548 8527 8545 8550 8554 10949 3628 8528 8549 8546 8525 8535 8524 8531 8540 8517 8539 8519 8530 8551 8532 8553 8536 8529 8538 8543 8557 8526 8533 8547 3632 8521 8523 7284 11901 3572 11446 3571 7238 11909 11905 11907 10983 10986 10989 10992 10994 6123 6555 2890 2677 6435 6234 2770 6342 5058 5154 3665 5289 1927 5355 3355 2122 7329 7327 7326 7324 7323 7321 7320 5490 7318 7317 3286 2251 2350 5592 7020 5694 3175 2458 0
78.40/78.40
78.40/78.40 c Core has size 7675
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-3495793-1307808328/watcher-3495793-1307808328 -o /tmp/evaluation-result-3495793-1307808328/solver-3495793-1307808328 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495793-1307808328.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.98 2.98 2.82 4/189 25829
/proc/meminfo: memFree=30180684/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=13104 CPUtime=0 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 827 0 0 0 0 0 0 0 25 0 1 0 892431553 13418496 597 33554432000 4194304 4365125 140736088916992 18446744073709551615 4257248 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 3276 597 257 42 0 424 0
[startup+0.0428419 s]
/proc/loadavg: 3.98 2.98 2.82 4/189 25829
/proc/meminfo: memFree=30180684/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=14200 CPUtime=0.03 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 1732 0 0 0 3 0 0 0 25 0 1 0 892431553 14540800 819 33554432000 4194304 4365125 140736088916992 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 3550 819 263 42 0 698 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14200
[startup+0.100831 s]
/proc/loadavg: 3.98 2.98 2.82 4/189 25829
/proc/meminfo: memFree=30180684/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=16792 CPUtime=0.09 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 4225 0 0 0 9 0 0 0 25 0 1 0 892431553 17195008 1428 33554432000 4194304 4365125 140736088916992 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 4198 1429 263 42 0 1346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16792
[startup+0.300798 s]
/proc/loadavg: 3.98 2.98 2.82 4/189 25829
/proc/meminfo: memFree=30180684/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=32536 CPUtime=0.29 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 17013 0 0 0 28 1 0 0 25 0 1 0 892431553 33316864 4081 33554432000 4194304 4365125 140736088916992 18446744073709551615 4256441 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 8134 4081 263 42 0 5282 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32536
[startup+0.700725 s]
/proc/loadavg: 3.98 2.98 2.82 4/189 25829
/proc/meminfo: memFree=30180684/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=56392 CPUtime=0.69 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 36924 0 0 0 66 3 0 0 25 0 1 0 892431553 57745408 8262 33554432000 4194304 4365125 140736088916992 18446744073709551615 4247545 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 14098 8262 263 42 0 11246 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56392
[startup+1.50058 s]
/proc/loadavg: 3.98 2.98 2.82 5/190 25830
/proc/meminfo: memFree=30193620/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=89152 CPUtime=1.49 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 55943 0 0 0 144 5 0 0 25 0 1 0 892431553 91291648 13448 33554432000 4194304 4365125 140736088916992 18446744073709551615 4244758 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 22288 13448 265 42 0 19436 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89152
[startup+3.1003 s]
/proc/loadavg: 3.99 3.00 2.82 5/190 25830
/proc/meminfo: memFree=29986292/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=162276 CPUtime=3.08 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 99239 0 0 0 300 8 0 0 25 0 1 0 892431553 166170624 30043 33554432000 4194304 4365125 140736088916992 18446744073709551615 4250320 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 40569 30043 265 42 0 37717 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 162276
[startup+6.30074 s]
/proc/loadavg: 3.99 3.00 2.82 5/190 25830
/proc/meminfo: memFree=29912636/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=219284 CPUtime=6.29 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 186766 0 0 0 611 18 0 0 25 0 1 0 892431553 224546816 46130 33554432000 4194304 4365125 140736088916992 18446744073709551615 4264062 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 54821 46130 265 42 0 51969 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 219284
[startup+12.7006 s]
/proc/loadavg: 3.99 3.03 2.84 5/190 25830
/proc/meminfo: memFree=30055968/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=225428 CPUtime=12.69 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 194912 0 0 0 1250 19 0 0 25 0 1 0 892431553 230838272 47112 33554432000 4194304 4365125 140736088916992 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 56357 47112 265 42 0 53505 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 225428
[startup+25.5004 s]
/proc/loadavg: 3.99 3.06 2.85 5/190 25831
/proc/meminfo: memFree=30075200/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=225428 CPUtime=25.49 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 216453 0 0 0 2527 22 0 0 25 0 1 0 892431553 230838272 46430 33554432000 4194304 4365125 140736088916992 18446744073709551615 4306815 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 56357 46430 264 42 0 53505 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 225428
[startup+51.1009 s]
/proc/loadavg: 3.99 3.13 2.88 5/190 25831
/proc/meminfo: memFree=30056460/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=221332 CPUtime=51.09 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 251759 0 0 0 5083 26 0 0 25 0 1 0 892431553 226643968 43872 33554432000 4194304 4365125 140736088916992 18446744073709551615 4267852 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 55333 43872 264 42 0 52481 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 221332
Solver just ended. Dumping a history of the last processes samples
[startup+63.9006 s]
/proc/loadavg: 3.99 3.18 2.89 5/190 25832
/proc/meminfo: memFree=30039452/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=221332 CPUtime=63.89 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 251759 0 0 0 6363 26 0 0 25 0 1 0 892431553 226643968 43872 33554432000 4194304 4365125 140736088916992 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 55333 43872 264 42 0 52481 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 221332
[startup+70.3005 s]
/proc/loadavg: 3.99 3.19 2.90 5/190 25832
/proc/meminfo: memFree=30063632/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=202900 CPUtime=70.3 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 270970 0 0 0 7001 29 0 0 25 0 1 0 892431553 207769600 41591 33554432000 4194304 4365125 140736088916992 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 50725 41591 264 42 0 47873 0
Current children cumulated CPU time (s) 70.3
Current children cumulated vsize (KiB) 202900
[startup+73.5009 s]
/proc/loadavg: 3.99 3.20 2.91 5/190 25832
/proc/meminfo: memFree=30055076/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=211092 CPUtime=73.49 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 271966 0 0 0 7320 29 0 0 25 0 1 0 892431553 216158208 42587 33554432000 4194304 4365125 140736088916992 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 52773 42587 264 42 0 49921 0
Current children cumulated CPU time (s) 73.49
Current children cumulated vsize (KiB) 211092
[startup+76.7003 s]
/proc/loadavg: 3.99 3.20 2.91 5/190 25832
/proc/meminfo: memFree=30056688/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=223380 CPUtime=76.69 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 273508 0 0 0 7640 29 0 0 25 0 1 0 892431553 228741120 44129 33554432000 4194304 4365125 140736088916992 18446744073709551615 4263861 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 55845 44129 264 42 0 52993 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 223380
[startup+77.5002 s]
/proc/loadavg: 3.99 3.22 2.91 5/190 25832
/proc/meminfo: memFree=30064004/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=223380 CPUtime=77.5 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 273508 0 0 0 7720 30 0 0 25 0 1 0 892431553 228741120 44129 33554432000 4194304 4365125 140736088916992 18446744073709551615 4272011 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 55845 44129 264 42 0 52993 0
Current children cumulated CPU time (s) 77.5
Current children cumulated vsize (KiB) 223380
[startup+77.9001 s]
/proc/loadavg: 3.99 3.22 2.91 5/190 25832
/proc/meminfo: memFree=30064004/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=223380 CPUtime=77.9 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 273508 0 0 0 7760 30 0 0 25 0 1 0 892431553 228741120 44129 33554432000 4194304 4365125 140736088916992 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 55845 44129 264 42 0 52993 0
Current children cumulated CPU time (s) 77.9
Current children cumulated vsize (KiB) 223380
[startup+78.3011 s]
/proc/loadavg: 3.99 3.22 2.91 5/190 25832
/proc/meminfo: memFree=30064004/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=223380 CPUtime=78.3 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 273508 0 0 0 7800 30 0 0 25 0 1 0 892431553 228741120 44129 33554432000 4194304 4365125 140736088916992 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 55845 44129 264 42 0 52993 0
Current children cumulated CPU time (s) 78.3
Current children cumulated vsize (KiB) 223380
[startup+78.401 s]
/proc/loadavg: 3.99 3.22 2.91 5/190 25832
/proc/meminfo: memFree=30064004/32950928 swapFree=67052112/67111528
[pid=25829] ppid=25827 vsize=223380 CPUtime=78.4 cores=5,7
/proc/25829/stat : 25829 (MoUsSaka) R 25827 25829 23695 0 -1 4202496 273508 0 0 0 7810 30 0 0 25 0 1 0 892431553 228741120 44129 33554432000 4194304 4365125 140736088916992 18446744073709551615 4247550 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/25829/statm: 55845 44129 264 42 0 52993 0
Current children cumulated CPU time (s) 78.4
Current children cumulated vsize (KiB) 223380
Child status: 20
Real time (s): 78.4133
CPU time (s): 78.4131
CPU user time (s): 78.1061
CPU system time (s): 0.306953
CPU usage (%): 99.9998
Max. virtual memory (cumulated for all children) (KiB): 391304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.1061
system time used= 0.306953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 104
runsolver used 0.115982 second user time and 0.316951 second system time
The end
Begin job on node120 at 2011-06-11 18:05:28
IDJOB=3495793
IDBENCH=89228
IDSOLVER=1989
FILE ID=node120/3495793-1307808328
RUNJOBID= node120-1307808043-25678
PBS_JOBID= 13551076
Free space on /tmp= 73892 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/chen/fdmus_v100/fdmus_b20_498.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495793-1307808328/watcher-3495793-1307808328 -o /tmp/evaluation-result-3495793-1307808328/solver-3495793-1307808328 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495793-1307808328.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= d198cc5aa6c09bcd3d7b49ca3aec4c68
RANDOM SEED=664735996
node120.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.809
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.61
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.809
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.07
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.809
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.809
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.809
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.78
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.809
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.809
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.809
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 30185196 kB
Buffers: 162268 kB
Cached: 893692 kB
SwapCached: 11528 kB
Active: 1911280 kB
Inactive: 691136 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30185196 kB
SwapTotal: 67111528 kB
SwapFree: 67052112 kB
Dirty: 412 kB
Writeback: 0 kB
AnonPages: 1543472 kB
Mapped: 9760 kB
Slab: 94072 kB
PageTables: 8320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 2143632 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= 73892 MiB
End job on node120 at 2011-06-11 18:06:46