0.00/0.00 c MoUsSaka vegetarian
11.39/11.40
11.39/11.40 s UNSATISFIABLE
395.19/395.27 c Core is minimal
395.19/395.27
395.19/395.27 v 1007 15079 14661 7152 7153 7149 7150 2319 2322 6 12 9 14644 14639 72 4917 4921 4918 14641 14643 75 4920 14634 5827 14638 14640 14642 14645 980 14646 14651 14649 14650 14648 14647 294 291 292 293 289 55 56 57 4903 4904 974 5733 5227 5157 310 5122 5133 286 5121 275 272 269 5118 5647 5640 5644 5715 979 5653 5656 5649 5826 14655 15174 15146 15136 15158 15166 9706 15156 15142 15154 15168 15148 15150 9697 15172 9700 15138 15140 15160 15170 15164 15144 9703 15152 15162 7151 8021 2307 2304 14603 14599 14614 14610 14616 14618 14620 14619 14622 14617 7167 7169 14624 14623 14621 8019 405 5251 816 813 2313 2310 2316 14609 14605 14602 14598 14608 14600 14604 14606 404 403 5252 7154 8027 7164 7168 8034 4856 4853 4859 14632 14635 14633 10 4 7 5 381 8 11 4852 14631 7161 5659 8036 5662 7158 7162 7156 7159 5658 7155 5661 14615 14625 14613 174 177 14611 8024 14636 5138 5140 5136 290 274 5141 175 2317 2318 812 2315 2306 2303 2302 2305 5033 4931 5027 4937 4940 96 309 5134 300 14653 5704 5707 5710 5716 5713 5706 5123 288 5117 5128 84 285 303 4943 279 183 282 312 90 276 4934 297 5125 5131 870 819 795 801 5120 273 306 5030 93 270 186 87 180 867 807 780 786 858 804 798 789 861 810 792 864 783 5137 2320 5250 14607 14601 2311 8031 814 2314 2308 5660 5663 7163 7157 2309 8020 7160 811 14612 815 4870 23 26 29 4880 28 25 4892 4868 4865 44 16 35 13 34 41 38 32 4886 43 19 4862 14637 4873 5226 9704 15159 4874 4877 4871 22 14 20 4889 47 40 31 4883 46 17 4895 4872 24 4869 4875 30 27 4876 5020 5019 7628 7165 7631 5023 5022 5244 5243 5247 5248 5246 5249 5240 14627 2780 172 5021 7166 176 173 2781 5024 2321 4855 4857 4858 3 4848 4849 14628 4850 14626 2 2324 7172 7630 7627 2328 14630 2327 2326 2323 4854 2325 4851 7170 1 14629 14660 15180 9759 15176 9756 15178 9746 9752 15175 5126 5153 5144 5150 278 287 5159 5147 5156 281 5132 5129 284 5135 6509 14654 6504 6516 6512 1671 1664 1661 1659 301 308 305 1654 1667 1660 15179 15193 6520 6519 6503 6491 5666 6494 6473 6486 6478 6482 6500 6476 6497 15181 9743 9755 6505 15177 6477 1666 14652 15192 6517 1663 6515 1641 1674 6485 1636 6487 1633 1624 1634 1645 1649 1655 1637 1632 1652 1628 1625 1627 2379 4885 4888 4882 2562 5338 5340 5332 5331 5335 5341 5329 3813 3132 2745 3588 3402 5319 480 483 486 5346 477 5316 5344 5317 5322 5334 471 489 474 501 498 5326 5320 5328 5325 5337 5343 492 495 5347 5323 886 4894 4863 4878 4866 4890 4891 4867 8025 2844 2934 3348 518 5342 5336 5330 5333 5339 4879 4884 4887 4893 4881 4860 4864 384 387 5235 5265 5230 5236 5233 5262 5300 5297 5303 5279 5276 5232 5268 5256 21 39 48 42 36 45 33 18 15 5269 5266 5257 5259 5229 5260 5263 14781 5283 5287 5295 4956 4951 4960 5281 4954 5293 4950 5286 5275 5298 5299 5296 5302 5301 408 429 453 456 450 432 468 519 5292 4959 5280 4953 5255 5284 5278 5274 390 417 411 420 414 423 5264 5270 5258 5261 5267 5237 5228 5234 5231 415 416 410 413 422 419 4957 517 4845 9689 4840 5289 4837 5617 5211 5616 5290 4861 973 14659 5702 516 5239 5253 5241 5254 393 396 402 399 111 447 438 441 105 435 114 444 108 5238 5245 5242 5820 5363 6890 7781 6926 7502 7889 7979 4386 8798 8756 8660 8585 8087 8375 4836 2782 2779 2595 3288 4465 7595 4027 8091 3244 8875 8874 7505 8862 4015 4000 7148 3636 7352 8135 8132 4005 8129 4496 7919 8876 7724 3044 7892 7436 8888 7442 7439 7727 7730 7922 7916 8093 7503 2658 4645 4558 4630 9438 4456 9445 7783 7504 9477 8282 8864 8018 8088 8015 3741 8504 8507 7823 4016 7829 7826 8501 8852 8012 9351 7031 2043 2267 4833 4830 4794 4797 4812 7115 4827 4773 6827 4090 6557 7032 3138 4544 7034 4802 4787 4790 10112 10113 15157 9705 15161 15167 9702 15143 15149 9701 15147 15155 15141 15145 9696 15139 9699 15163 9698 10089 10092 10095 10083 10079 10086 10115 10107 15153 10097 10110 10104 10100 10106 10088 10080 10077 10076 15173 15169 392 10096 10099 10093 10102 10090 10084 10111 10114 379 10103 15137 10082 382 383 10108 10109 10105 397 15171 15151 9695 10116 10085 391 389 395 400 394 401 10073 10087 10075 398 10101 406 407 10094 388 10081 10091 15165 10078 10098 380 10117 385 386 421 418 409 412 4955 5291 5285 5294 4958 5282 4952 4961 488 494 487 490 491 497 482 484 469 479 481 499 5318 5327 5348 5345 5324 5321 496 476 485 473 500 493 428 103 436 110 104 454 442 107 433 437 434 445 112 109 440 443 452 106 431 455 427 451 448 449 5277 430 554 561 556 9236 2784 528 534 537 522 531 525 478 475 458 459 425 424 4988 509 461 4991 568 564 512 514 510 507 502 5306 464 505 462 466 5272 550 543 472 5350 5349 5357 5354 5361 5359 504 470 5356 5352 506 5271 426 457 5309 5313 6764 770 555 460 463 5312 3621 7785 7313 3351 8468 766 5613 9305 7113 5840 2079 7535 8472 6992 7787 7625 2938 553 2747 8462 8465 6927 7093 7983 7089 8909 4062 2082 6928 7108 5364 5365 546 4781 769 535 524 530 527 536 532 533 521 523 526 520 529 5196 5171 5202 324 243 228 5209 5075 5212 5090 5207 14957 14956 349 6796 5429 5433 5214 5219 5432 4778 5614 5203 5592 5599 5605 5596 5602 5608 5611 365 355 356 360 362 5390 5397 5393 540 5385 4383 4380 330 4333 4823 327 372 586 367 375 755 636 602 661 612 615 760 633 626 708 715 342 746 336 745 625 657 757 658 651 654 727 377 607 735 350 741 713 628 346 339 361 600 5399 4808 4817 4759 4769 579 5421 538 5425 576 580 4390 4765 4243 4236 4238 5315 4799 581 4232 4228 4222 4387 4391 4762 4766 4226 582 5417 585 773 4216 4804 4798 4813 4783 4223 4775 4229 4220 5366 577 4244 4241 5621 4375 4340 578 574 776 4805 4814 4337 4902 4336 4919 4922 572 51 772 9074 9632 9635 4820 4912 4909 4911 4906 4899 4905 557 5311 5403 5415 5408 560 5411 5401 5410 5413 141 5392 775 9089 9092 5305 5308 570 566 559 5423 5427 575 573 5404 5400 563 558 5353 5273 5304 4914 4231 4219 542 545 5405 4983 65 62 58 52 4944 5174 4948 4924 4927 5177 60 66 54 63 357 4896 68 59 64 583 49 4908 5407 5387 5374 5382 5370 5367 5377 5383 5373 5371 5379 5368 5139 5376 5380 5389 5402 548 136 100 5351 503 5406 5428 5426 5418 5395 70 4913 4907 4898 4910 4901 5388 73 74 71 587 539 2080 4774 4763 14536 15319 10210 10213 10162 15199 10232 5223 609 606 10149 61 10155 10203 10182 10190 10198 9719 10175 10193 9717 10184 10181 10169 9722 10167 10176 10173 10191 10187 10166 9716 10170 10178 10188 10200 10185 5489 5182 5453 5217 14664 5220 5198 5188 5195 14684 14714 5543 5507 5510 5172 5594 5537 5603 5561 5565 14686 5180 364 5579 14688 5618 5615 5205 5439 14706 5478 5550 5526 14678 14718 5218 5216 5175 5492 5522 5435 14692 5529 14670 5477 9764 4947 15182 10463 9846 10058 10164 10146 10142 10137 10134 10120 10151 10131 10128 9720 10172 9767 10194 10179 9768 9794 9723 10163 9830 9987 5178 4995 4999 4915 584 5430 5419 5431 10206 10158 5424 5422 5420 5434 69 50 571 331 81 139 140 144 135 132 138 126 117 148 78 102 99 123 129 120 4897 5533 5500 5458 5467 5437 5440 5584 5524 5503 5554 5482 5530 5566 5581 5551 5545 5479 5590 5461 5494 5569 5548 5443 5446 5527 332 376 5204 5185 5187 5181 5191 5206 14704 5586 9686 793 5000 4997 5587 5497 5200 5176 5464 5221 5485 662 14698 684 5213 14696 5583 644 5600 687 667 748 14672 681 621 674 5496 5609 594 14720 14680 5463 5436 5466 643 629 604 5571 744 354 671 640 764 659 14662 591 749 648 14676 754 763 728 712 5450 716 5589 5499 14666 14702 639 14724 623 664 14690 5516 709 5612 723 5502 14710 689 618 695 678 597 5558 14712 751 5523 14700 5606 5597 670 705 5199 726 601 5442 5540 5471 622 688 761 691 702 5457 14716 694 5190 5225 5519 5460 5484 605 5210 673 731 14722 14674 5580 5184 5532 665 767 641 5547 5513 5544 608 345 692 752 5481 5493 5474 720 5576 730 14708 14694 710 14682 5568 738 668 5445 5456 347 5179 630 329 765 711 729 693 696 771 378 588 753 642 762 690 627 669 666 756 325 645 366 768 333 363 5224 9681 4838 5197 5193 5183 5186 5189 15183 5194 5192 344 351 348 340 341 343 337 338 14663 5201 747 624 358 759 675 732 663 603 714 660 717 352 672 750 335 14721 5465 5480 682 5525 5528 5591 5573 616 14693 5441 14683 5447 14691 646 703 14701 14667 14699 5438 14687 652 5498 721 5555 14669 5459 5567 5582 14725 14719 700 14673 619 14713 14717 742 5486 14695 370 5534 739 5531 14707 5546 718 589 724 631 598 5549 14677 14689 679 14715 5501 733 5468 5483 14697 14703 685 736 5222 14711 14723 14675 5444 634 14705 5552 14685 637 14709 14681 5504 14679 5585 676 5588 697 613 592 5462 706 373 649 14665 5495 14671 655 610 595 5570 359 5557 5506 5517 5535 5607 5208 5521 5562 5520 5491 5454 5476 5610 5508 5593 5515 5455 5473 5601 5559 5563 5518 5490 5539 5574 5449 5488 5556 5511 5448 5536 5475 5598 5509 5604 5452 5512 5575 5487 5469 5578 5538 5472 5542 5514 5451 5595 5470 5577 5541 5505 5560 328 334 153 150 369 371 599 719 698 590 353 611 632 617 647 614 638 686 704 737 635 656 734 650 680 593 653 740 725 374 722 743 707 677 683 701 596 620 4841 5160 267 80 101 97 224 5084 315 322 77 237 5106 5069 5061 313 5162 234 236 5083 5164 5167 229 5112 5088 219 5059 5081 320 222 5165 318 5094 317 216 5114 239 218 241 5066 5110 265 5073 67 9837 9833 9763 221 4990 259 208 263 5055 143 146 5076 231 233 155 5005 169 158 248 244 5016 5002 5080 5078 853 14898 15081 15021 15029 15024 15028 15041 15030 15039 15034 5856 1011 1012 5845 996 5854 15019 5853 5847 15037 15035 15038 15040 1002 5861 15026 15022 9676 9679 4594 3043 9312 4490 3245 4646 4467 7984 4499 5834 5837 4607 885 5822 14656 878 887 4670 2433 14657 975 5732 2655 981 14658 855 9232 9229 5828 5699 850 880 5731 5729 847 877 5701 3174 5735 888 5697 852 5694 797 868 806 802 800 832 809 5718 4215 5824 9318 5814 4784 9626 9623 4777 4225 3285 990 993 4240 4146 8993 5816 971 4916 4986 9309 6518 4374 9185 4339 4376 839 5722 883 876 846 5690 5698 841 5692 5695 871 5725 5728 879 5720 849 983 987 4358 4368 4371 977 5839 967 5821 964 5825 14835 976 5832 5836 14779 5833 5831 982 8694 843 848 5693 5688 845 851 5700 5683 5679 836 2312 881 873 5730 875 5726 5723 6048 6027 1127 1124 5966 1508 6371 6366 6372 1110 5969 5962 5952 1520 6368 6221 1416 6091 1412 6271 1360 6089 6082 6201 1330 6300 6165 1352 1239 1445 1347 14582 1459 1241 1328 6181 6184 1218 1227 6076 1159 1176 6000 14568 1211 6038 14574 6029 6042 6050 7753 6136 14576 6310 1510 6318 1371 1431 6275 1434 14595 1287 1289 6142 6236 1461 6107 1333 6167 6306 6241 1457 1336 1322 1355 6199 14577 14587 1454 6132 1450 1301 15031 15025 15023 14899 15020 15027 15080 5850 15033 1013 1008 5848 5842 5844 6369 6266 6357 1518 1103 1121 1302 6146 14579 1317 1382 1384 6290 1413 1332 6281 6202 1420 1441 14588 6176 15036 15032 1005 5857 5851 5841 999 1220 1471 6354 6190 1285 1245 6149 6147 1478 1149 1476 1249 1523 1345 1134 1422 1380 1442 6283 6234 1385 1419 1316 6253 1443 6311 3098 1504 6208 1386 1395 6231 1408 1306 1143 1133 5976 6340 6339 6072 6010 6063 1502 6103 6350 14565 1458 1242 1257 6238 1320 1403 6239 6204 6155 1390 6277 3786 6164 6157 6265 1281 1276 6154 2216 6203 6131 8052 1524 6323 6320 1304 6194 1230 6005 6303 1366 1378 8636 5988 6148 6244 7760 6177 5994 6255 6279 6291 6270 6232 2213 1418 6237 6240 1387 6227 6223 3788 6246 6220 1343 6331 1201 1383 6230 6219 8639 6262 8638 6309 6374 1526 6030 6047 1155 1491 6034 1180 6347 5972 1105 6205 6051 1137 7754 1210 1181 14570 1197 1202 6302 6182 6200 6090 6330 1308 5984 1506 1465 1356 6012 1349 6297 6128 1291 5983 1480 1286 1456 1467 14580 1452 6343 1353 1451 6092 1453 6198 1337 1354 14566 14564 1223 1122 5982 6367 6086 6276 6183 1237 1331 1447 1318 1388 1404 14589 1373 6259 6273 6098 6268 3784 1424 1374 6130 1244 1115 4354 6329 6105 1251 6178 6280 14585 1393 6263 14591 1107 1525 1473 6185 1272 1305 1326 6169 6151 1460 1277 1455 1160 6055 6342 6352 5980 1485 1129 5978 6080 6335 6298 5995 7755 5957 1438 6250 1364 6257 14590 1430 6233 14583 1401 1415 6188 1446 1341 1440 1394 1397 6229 1406 1426 1414 6166 1368 1389 6152 1324 6140 5734 4361 5815 15004 970 5835 5819 14893 1669 1662 1657 968 5761 7007 14999 14964 930 14965 2155 929 928 898 7006 15002 5781 14975 7004 14979 15007 908 913 2958 5776 7122 14985 7893 2953 905 5747 5741 14968 14986 5777 931 899 14987 14980 932 897 936 5782 5783 5753 904 5762 2159 2158 7002 892 14963 922 5759 15015 5757 900 5737 5754 5745 7800 2954 2161 2961 14969 2156 14959 15005 2163 895 5774 910 5750 5768 14989 5746 5739 5763 891 14973 5744 5756 911 902 909 5736 15006 915 912 925 920 14962 5766 926 14988 5772 2277 14972 5742 906 5740 5752 924 918 5767 14993 15011 917 5771 914 893 907 919 916 923 890 5727 882 5724 5764 903 5760 14992 894 5751 5743 15014 5755 2157 934 5779 6863 5778 933 2956 15003 7005 5738 7895 8259 7802 935 6861 5775 8261 2957 14984 7995 7805 7804 2960 14981 896 5765 901 921 5769 5770 14958 5773 5758 2276 889 7123 927 15010 7997 7124 5749 5748 14998 14978 5780 938 5785 5784 939 14974 5786 937 14995 942 14994 944 15009 5792 5790 5791 14971 5787 943 5788 5789 945 940 941 14970 5793 5794 948 15008 946 5795 947 950 5797 5798 951 14983 949 14982 5796 14961 952 954 5799 5801 5800 14960 953 14991 14990 4116 4115 8961 962 960 8962 4114 4122 15013 8963 15012 5804 959 963 955 4120 5802 958 965 956 5809 5807 5813 5838 961 6800 6799 5808 1307 6059 6017 1231 1300 6333 1117 1298 6336 6040 7757 1266 5981 6327 6124 6325 1498 14561 1507 1125 1527 6360 1503 1209 1164 6013 6349 6071 2214 5960 5998 6334 1259 1167 14563 6145 1258 1262 6106 1295 1178 1475 6319 1111 6321 1481 6126 6094 6033 1270 1157 5954 5956 6054 6150 6123 5958 6052 1499 6138 6356 6021 5971 1275 6068 1514 6019 1185 6153 14560 6332 1299 1512 5959 1188 1112 2217 1136 6143 1123 1293 6075 1282 1501 6026 1477 1497 1488 6364 1509 6348 1472 1521 1263 5950 6009 1189 6362 1303 1474 6127 1222 6322 1168 1479 1254 1274 1296 5964 5968 1466 7759 6351 1494 6359 6326 1279 14572 1264 1135 1260 1206 6373 1284 6314 6370 1513 1145 6115 5986 6363 6324 1519 1169 6008 1131 1297 7758 6061 1232 6337 6144 6113 1109 1199 1986 1063 5911 14553 6404 5923 1057 5912 1543 1556 6393 5908 6402 1991 5910 1059 1549 5920 6387 1554 5934 5946 1079 1083 1529 6379 6389 6382 1528 6388 1536 6383 14557 1537 6385 6390 5940 1091 5930 1088 5935 1530 1535 1097 5922 1990 6398 14554 6833 6399 6397 1069 6400 6395 1071 6832 1557 1551 6386 6834 1076 1089 1538 14559 5933 5945 6391 5938 1095 1100 1532 14556 1081 1539 6378 6384 6381 5947 1087 5936 5926 1098 1534 6377 1086 5928 5932 1099 1093 1085 1101 6380 1531 14558 1533 6392 1995 5909 5902 6837 6403 14555 1989 14552 1073 1555 1067 5918 1552 5921 1075 1062 5924 1055 6838 1064 6836 1548 5916 1550 226 5068 5065 5063 212 214 5071 5169 5086 8742 8719 8729 8631 8739 8724 8728 8744 8723 15198 6510 14897 4357 9206 9216 9188 4360 9220 4364 9224 9203 4353 15001 9199 9198 15000 4343 9194 4345 9190 4349 4342 4348 9219 9191 4346 4355 9189 15185 15187 10045 15186 10031 15188 10038 10034 10042 15497 10037 15496 10043 10018 10052 10433 10346 15250 15242 10051 9682 10032 10028 10053 9922 9937 10325 15218 15189 15184 10277 10035 10430 15238 10283 15202 10067 15212 10258 10262 10255 10248 10247 10152 9984 10251 10199 10244 10237 10240 9986 4819 9668 2187 5358 230 4993 541 5386 5369 5378 5375 5381 10068 9673 10015 9934 9921 9919 9936 10017 10010 9910 9912 9915 9918 9925 9933 10016 9959 9930 9927 10009 10012 9863 9849 9902 5017 5008 5039 5042 5036 5045 5054 5051 5048 513 515 569 5310 5412 551 316 235 227 242 238 147 321 223 225 149 10013 220 323 319 240 9671 4822 549 567 162 5062 5058 5012 255 170 4949 5006 5077 5079 5111 5113 5105 195 5102 5093 5108 5009 5011 156 167 5064 164 258 261 189 215 213 246 192 168 211 198 264 252 4928 207 4985 5057 5018 5099 5015 5096 5060 5003 217 4925 4946 266 5014 161 232 249 201 210 159 204 6506 6514 6508 6511 9226 9923 9935 9931 9908 9916 10007 10011 9941 9920 9906 9913 9928 10123 7175 10347 10434 10284 10326 10431 10144 9808 9805 10150 10147 10135 10138 9802 10132 10126 9799 10141 2191 2193 2189 7173 8696 10129 9999 10250 5372 5384 4967 4970 4976 4973 4964 10019 10023 10022 10014 10002 9995 9980 9969 9953 9963 9966 9961 9957 9852 10004 260 251 5161 4979 254 257 4982 314 4237 3172 9068 9071 9077 9081 9082 9080 6308 1350 8635 3792 1392 6110 6217 6286 1436 6235 1361 14597 1339 3790 1370 1432 1358 6288 1433 1435 1439 1428 6209 6163 6218 6261 6179 1469 6121 6316 6285 1423 1362 14578 1463 8726 6186 6282 6267 6264 6307 14592 6278 1462 1391 1280 1235 6109 6096 6104 15077 15052 15044 15062 15069 15046 15050 15056 15049 15057 15042 15051 15054 15063 6295 1410 1261 1314 6215 6272 6192 6159 6161 6112 1449 6289 6225 1310 1468 6284 6102 6315 6084 1113 14562 6358 1511 1119 6376 5948 5942 6365 5974 1516 2209 1546 5993 6375 6073 5944 5970 1522 15053 4196 9044 15043 15059 15066 15065 15047 15058 15061 15068 4194 15064 15060 15076 15067 15045 15048 15055 6211 1283 1265 8054 6134 1399 1429 6292 6171 1427 14586 6111 1425 6317 14594 6180 6100 1334 1444 14584 6269 1376 6119 1319 6207 1312 6213 3791 14581 1437 6133 6175 6260 6108 3097 6206 6299 1256 1329 14596 6187 6296 1253 6274 14593 6248 6293 6122 6101 1357 1340 6301 6294 6173 6312 1255 1338 1247 6242 6129 1351 1421 1372 1359 3099 1268 1243 1278 6117 6088 6305 1417 6196 1470 1464 6287 8321 4003 9516 4040 8279 8276 3282 2778 9479 3171 3241 7891 1980 8315 3623 7593 8318 3627 9396 3618 3615 9392 2883 4002 9439 3168 7784 3435 3075 8664 2982 9444 4593 8666 4578 2848 8895 4548 2688 2748 8480 4497 4048 3165 4039 3432 4028 7694 9518 8603 8609 8606 2850 7692 3818 8693 9424 8819 8813 8816 8092 3429 4596 3136 2940 8690 8687 9446 9440 4592 3133 2981 4001 4512 9338 8849 7982 5811 9393 5818 9344 9494 8829 9492 2758 2668 3247 4551 9453 3982 9441 4489 4488 9352 4531 6858 2011 4504 8928 8847 4530 2247 2261 1670 1668 4631 9442 9347 4506 4498 6527 4758 969 4780 4789 9319 4473 4768 4760 9455 4606 9358 4494 9340 9376 4428 9375 1685 1689 1681 1686 1688 9339 4396 4744 4816 4807 4801 9611 9662 9665 9656 9653 9239 9614 9617 9608 4388 6533 1682 1684 5624 9065 4753 9647 9638 9629 9650 9643 9640 9672 9658 9618 9619 9642 4217 9231 9639 9657 9839 113 446 5288 439 37 4987 758 14668 699 5572 5564 171 165 552 5553 152 1014 1004 998 1001 1010 994 1000 997 1003 995 1009 1006 5849 5843 5846 15018 5858 5855 5852 15078 5860 5859 1517 1515 6361 1448 6313 6125 6304 1335 6197 1190 6031 3789 6251 6941 6935 6940 6937 6933 6938 6939 14071 10579 11365 14032 14067 14035 10549 10418 10419 15262 10413 10311 10374 10286 10416 14076 14528 10400 10289 10373 10437 10412 15240 15256 15260 15248 10290 10343 10310 10340 15244 10332 15206 10401 15208 10415 15234 15232 15222 10287 10063 10331 10065 14079 10349 14073 15214 15246 10064 10329 10436 10328 10567 11355 11353 11348 10569 11358 10537 10539 11361 15197 10572 1683 3048 7894 8112 8114 15194 15196 3046 10545 10575 9914 9917 10205 10202 10494 10487 10529 10562 10491 5686 5696 2241 9197 1665 9678 9675 10029 2880 10350 6513 10314 4464 10675 10397 15195 14533 14064 10313 7594 4344 10542 10341 10344 15216 4206 15210 3756 3631 3474 3249 3632 9406 3471 3468 3762 3759 7786 4004 4443 9313 9310 2246 15252 2877 7094 10398 1224 1216 1174 1193 6065 1184 1229 1141 6056 1207 6025 1221 14569 1212 1204 14571 1205 1208 1161 1200 6011 6032 1191 1195 1153 1166 1482 1172 1165 6007 1151 6023 6069 6006 1139 6067 1487 5990 1158 6070 6044 1225 1163 6057 1228 6049 6035 5996 1214 6053 6058 6046 6015 14567 1186 6077 1183 6036 6014 1146 1148 1484 6016 14575 1162 1182 1147 6002 1179 6028 6004 1203 1187 6037 14573 5992 6328 1170 6078 1226 6079 6338 6355 1505 6074 1486 1492 1490 6353 1496 1489 6346 1483 1493 6345 1233 1500 1495 6341 6344 6409 6408 6407 6835 6831 6412 6416 6411 1045 1050 14550 5900 6406 5894 6405 1566 1560 6410 14551 5896 1043 1562 5898 1053 1049 5897 5890 6419 6414 1558 5892 1047 14548 6637 5887 5880 5878 5882 1564 1565 6418 6417 6415 1570 1571 6644 6425 6413 1561 6420 1790 1794 1569 1041 1039 3180 3177 3366 3306 3777 3368 2613 2615 2705 2703 2520 2522 2985 3092 2898 2900 3090 4698 8977 1838 2178 2040 1848 1914 1704 1779 7030 1710 2239 1782 1776 8987 8990 6887 1854 6884 1917 2184 1851 2181 1707 1694 2164 1964 1977 1974 2037 1911 4693 3855 3864 3909 3677 3738 3528 3494 4460 4598 4459 9308 3916 3924 3951 4610 3240 3183 4248 3042 4634 3295 4563 3000 2238 3291 2791 4574 9093 3911 3969 8759 3846 3972 9423 3984 3843 3657 3633 3660 4597 4611 3966 9461 9457 4609 9458 3242 4017 9482 9480 9481 4536 8090 4635 2795 3134 2699 2696 4514 2798 4475 8848 3439 2042 6826 2594 6763 9422 2777 2504 3074 2687 4145 7534 7441 2144 8992 8989 6889 4126 4247 4246 2465 2300 2882 4573 1709 1979 1916 2183 4557 9497 8887 4029 2081 1886 6929 8907 3069 2976 4543 2656 9323 6554 4495 2979 1813 3654 2657 4474 6824 1762 6989 6986 4513 6628 6761 8908 7025 4503 1814 8886 2775 2685 7349 4669 7532 7622 2592 4041 3072 3246 8937 6700 4715 2849 4575 7890 6551 6541 4416 9362 4143 4140 7142 7307 1752 4130 9349 3840 7145 4092 1743 7028 3045 8863 1834 7310 992 7619 7529 2589 2682 2772 7346 7336 4633 6821 6758 7697 4251 4250 3191 5098 5101 5107 5104 3481 3539 2339 3535 3664 3477 4320 4317 4305 4323 4308 4257 4260 4281 4314 4326 4287 4254 4278 4296 4266 4275 4272 4284 4293 4290 4311 4263 4334 3860 3194 2606 2195 3488 2996 3671 3362 4283 4282 2598 2198 2891 2602 2692 3773 2609 4307 4256 4300 4267 4253 4261 4265 4249 4262 4259 4268 4264 4258 4285 4306 4270 4255 4289 4280 4298 4295 4294 4297 4252 4279 4288 4274 4291 4277 4273 4309 4292 4286 4304 4316 4318 4310 4276 4303 4313 2933 2561 3041 2654 2744 3239 3131 2078 2237 2432 3812 3347 3908 3737 2378 2843 3401 3950 3587 3527 2989 3187 3302 3542 3200 1672 6521 6488 1673 3343 2929 2740 2650 3127 3946 2839 7831 2557 3037 3583 3523 2110 1945 1676 1738 7926 7832 6484 6481 6502 6498 7923 6471 1626 6475 6479 1630 6480 1638 6483 4301 3492 3235 4322 4321 3002 3397 3808 4312 4315 3733 3904 2386 2802 2804 3675 3198 2332 2044 2074 3355 7033 2397 1640 4195 2399 3766 3359 7233 2374 3308 3079 3926 3546 3485 3866 3668 3847 2787 3779 1635 2336 1639 2509 4271 3548 2390 7235 2343 2345 2513 2894 4299 4302 4330 2008 2202 2204 1882 7928 4319 2516 1810 2233 2887 3851 3770 3857 7230 4269 2993 3083 2428 2393 3299 3086 6625 8946 1766 1563 1559 1993 4110 4113 4105 1822 1744 1747 1885 9052 4201 1572 1051 1567 1052 1568 6427 4394 4415 4419 4083 7114 3739 8588 3350 3740 9348 3349 9357 4540 8198 2240 9407 7088 9380 3625 8378 8665 7985 3530 3819 8474 8470 3137 9333 9334 2935 1679 2268 8663 8479 3815 3814 8478 7987 3403 3255 4026 8830 3444 2936 3257 3910 3141 2027 6811 6976 7297 6748 9448 9452 4603 9447 4667 4567 9409 4628 4559 9429 4643 9460 9484 9483 9394 4518 9520 9363 9495 4580 9364 4584 4591 4661 4655 9505 9356 4604 9522 9515 9530 4602 9096 9097 7813 3170 7990 7906 8254 3434 3287 7519 8107 3761 8590 8488 7714 3659 2762 3473 8809 8293 8674 3845 7609 7426 2489 8320 2966 6613 3059 9094 2867 7132 6874 8017 3143 3446 8467 2672 3593 8440 3620 7015 1540 1541 5899 1077 6839 1545 6394 1553 1544 1074 6396 5904 6401 5906 1542 1061 1065 1547 5914 4444 8904 6685 1719 5866 1573 6448 1721 4152 1023 6447 1615 1583 1724 14544 6578 1729 6634 6573 14545 6640 1796 14547 6570 6435 6568 1596 1585 1027 1579 14546 6574 1578 6562 1590 6569 1607 1720 5875 5870 1029 8998 6424 1588 6436 1731 1803 1584 6443 6450 1723 1608 6431 1581 1795 1715 6452 1598 1722 1592 1728 1026 1789 6453 6636 6432 1604 1021 6633 6641 6576 1599 6566 1602 1798 6698 6701 1853 2295 4449 1612 6458 2301 2298 6695 6733 9264 4430 9275 7790 4210 2013 9304 9267 2463 2244 7788 2466 4059 7794 2505 2564 2499 7412 2502 7107 2145 2142 6860 6661 2563 8905 8831 8896 4050 8757 6456 8758 1611 6460 6457 4159 1614 6464 6459 1616 4161 6629 4181 9040 4188 4176 9034 4178 4175 4173 4163 4171 9017 4179 4180 9026 4172 9012 4174 9029 4177 4165 9032 9018 6626 6623 4184 9008 9014 4167 4170 9020 4160 9010 9007 9033 9038 9023 14543 9021 9016 4190 4148 9019 4183 4169 14542 9025 9022 9024 9006 1781 3983 3529 8850 9294 8851 4401 9251 4014 4081 4451 3250 3440 4021 3438 3404 9059 9061 6590 4412 2853 2949 1821 4457 8469 6526 9281 4706 2845 2846 4101 4455 9295 9300 2381 9301 7229 4450 9299 2937 8959 9536 4500 4712 4579 9283 4626 2153 2151 9430 9437 9428 9467 9462 2475 2115 9433 2152 2269 4641 4653 4650 9432 9463 4638 2469 2471 9471 4733 2249 4080 2265 4042 4047 4665 4659 4674 4677 4066 4056 4051 4752 4406 4739 4737 4093 4208 8893 2435 2258 2252 8956 2256 4075 4071 2951 4038 4034 4030 2944 2147 4754 9241 4089 1823 6544 4098 4102 4106 8942 8933 4085 8944 8935 8951 4094 8954 4103 4682 4680 9266 4748 4423 4686 4700 4688 4704 4694 9531 4727 4711 4722 4725 4719 4710 7691 2847 8195 4731 7695 8906 4058 3243 9360 9361 4515 1769 8089 9296 6664 4099 2266 4671 7592 8197 2565 8249 2746 4049 7409 8897 7693 7411 2243 7410 7085 2242 9579 1741 4203 4205 9053 9048 9449 9404 9425 9456 9359 1697 2939 8196 2171 7797 1841 6688 3062 2030 4133 8980 1904 1967 7339 9543 9397 4553 7097 4705 3817 9532 9526 7795 7793 9317 9329 9331 4063 4404 9523 9324 8930 9537 4738 8948 4692 8939 8827 9510 6596 1748 1745 9373 9371 9366 9367 6588 9509 6598 9503 9499 9408 9468 9240 4618 9511 8854 4588 9459 8288 9548 7091 8860 3248 9209 9213 14839 9217 6532 4211 4552 7799 8883 9255 8891 9560 4402 4399 4522 9504 4527 9372 4660 4654 9496 3251 8100 8284 8435 7226 7696 8377 8587 2472 7981 4599 9290 4577 3256 4600 4601 4605 3830 7086 9307 9322 4068 4070 9314 4466 7280 4461 7138 7525 7342 9311 4061 2495 4476 1757 4463 2291 4060 4595 2474 3135 6982 2382 2768 7087 2873 3531 9562 3065 9303 8458 2972 4458 9485 6817 4057 8311 2585 4647 9398 4549 3953 9443 8818 2436 6880 2678 4065 4632 2033 8376 3278 3464 3161 2174 4420 4545 2467 2473 9269 8125 3752 1970 4550 3425 6807 3836 3611 7000 6998 3971 3912 3650 4118 4125 1758 8969 8967 8800 7980 9450 4123 4121 8966 4117 5803 5805 5810 966 8965 5806 5812 4020 4013 4023 7103 7105 7228 957 4119 8968 7098 9320 8894 7798 8898 8903 7796 8885 8881 7791 8877 8889 9378 9514 4046 7227 4528 4636 9454 9405 9391 9421 4462 9335 4486 9387 4637 6614 1765 14889 9327 9464 9451 9410 9383 9473 9466 9346 9470 9337 4582 4613 4624 4560 4625 4616 4620 4585 4590 4562 9493 9365 4516 9545 4658 4652 9350 4656 4525 4453 4546 9524 9527 9502 9488 9500 9475 9490 9508 9529 9506 9512 4547 9395 4576 9298 4684 9262 9277 9259 9245 9578 9353 9588 9557 9355 7782 9553 9248 9377 4529 4492 9336 4555 9345 9302 4487 9297 4640 4622 4491 4608 4649 4701 4696 9558 4426 9270 9282 4533 4621 9507 9539 4408 4690 9420 4561 4554 9390 4569 4564 4447 9386 9379 9388 9414 9534 4493 4511 4510 4556 4691 4517 9413 4520 4689 8899 4505 4452 2852 4703 4695 4709 4720 9271 4697 9257 4730 4425 4713 9261 4740 4707 4417 9328 4657 4673 4501 4535 4534 4526 9431 9426 9400 4565 4570 9434 4629 4615 9316 9501 4571 9435 4538 9415 4519 4524 4509 4542 4537 4644 9419 9474 4583 4586 4581 4639 9489 9326 9427 9513 9399 9315 9436 4668 4612 9370 9368 9465 4651 2947 2952 4036 4044 4055 8880 4035 4037 8878 4032 2943 8890 4053 2149 4097 4079 4142 7699 2941 2946 2948 8105 7986 8926 4507 8973 6996 7001 7135 9519 9525 9330 4508 7319 6665 2380 2434 7321 1678 8884 9289 6751 9382 6814 9544 6616 9389 9556 9402 9554 9542 9403 9385 9381 9550 4627 9411 4566 4587 4572 9412 9491 9487 9384 4532 2245 4541 4539 9472 9416 9401 9418 4589 9417 4568 4410 4469 9476 9486 1887 9273 4435 4422 4434 9246 4436 4022 9604 9602 9596 8900 4052 8902 4007 8855 4006 4523 4521 8870 8867 4010 4642 8858 4485 9249 4468 4681 4666 4481 4479 4480 9581 9577 9575 9583 9286 9587 9284 9571 9598 9272 9567 4732 4726 9538 4440 4424 9279 7698 2248 2945 9498 4699 4687 8101 8096 2942 4018 8099 7090 8892 4033 7283 7320 8871 8872 2675 2969 2870 7018 3596 2765 7300 8593 2492 7429 8491 7816 3263 7612 8296 8110 7909 8257 7717 8677 8443 2582 7522 6979 3146 3449 7993 8803 6877 8882 8879 3410 2288 3956 3746 8815 4421 9325 4414 9549 7315 2470 1815 1680 4067 8915 8912 2260 2950 4043 4400 3644 4031 4064 8916 1948 3925 4393 9547 9533 9374 9551 4442 9342 4663 9521 4648 4734 9343 4662 4024 8873 8104 8945 8102 8940 8949 7988 6595 8868 4025 8866 8953 8922 7099 2250 8931 6962 6999 4107 8950 3258 3253 7112 7095 7096 8927 7116 4074 7282 8914 2271 8918 7322 7318 7281 4069 7316 2253 2255 8098 1749 1751 8869 8952 4078 4077 8913 8920 3139 7104 7117 2259 2468 3998 8661 6994 8471 3816 8865 8095 7317 8473 8662 9050 4199 4095 4088 4104 6670 4086 8941 8932 8910 4045 2851 2154 4054 7700 7792 7789 2254 2113 8919 8923 2263 8957 8911 4679 9253 9354 9321 9585 9559 4702 9528 9586 4664 9572 4745 9546 4477 4724 9535 9573 4736 4743 9287 9580 4482 4470 9589 4672 4484 9332 9584 9603 4675 4676 9552 4478 4454 4685 9566 9593 9540 9369 9541 4502 9569 8497 8599 6599 3254 3252 6669 6591 6594 8960 8094 3140 8103 2150 8097 2148 9478 4683 9056 9517 4747 4472 4471 4448 9574 4678 4483 8683 4112 9341 9060 9306 8272 8008 7314 7432 1907 1772 1844 6619 5830 1840 6689 14829 7021 6605 6607 6606 1754 6602 1761 6611 1763 1756 1753 7897 2753 2757 2749 7601 7602 7598 2752 7603 2750 7898 7900 7901 2663 2759 2669 2659 9098 9095 1700 7303 2667 6686 14887 7912 6691 7819 7720 6547 4136 7615 6754 1837 3968 14831 6627 1768 6617 6621 8981 8979 4134 14837 4138 4132 14836 8985 4141 8976 14895 4129 8988 8978 14894 4131 4084 8901 14892 972 988 5817 3061 7910 14801 8678 14785 3829 7828 6556 6991 7729 7921 7147 1690 7312 7624 7351 9127 9112 9114 9121 9132 9108 9126 9109 9123 9120 9130 9099 9106 9103 9100 9118 9102 9111 9133 9115 9105 9117 9124 9144 9163 9129 9138 9174 9157 9154 9145 9141 9172 9225 9142 9150 9139 9169 9166 9182 9179 9160 9135 9136 14870 14883 7335 2490 1900 14885 6759 6812 6624 6749 6822 1963 6696 6873 14869 14881 7427 2128 6977 6987 2038 2578 2028 14888 6612 6540 2167 14884 6684 7016 14877 1767 1849 1902 1777 1912 14886 6747 7026 3965 3963 14840 3619 3594 14850 8439 14878 2026 6875 14879 3060 7905 6885 7437 14852 3286 8292 3447 3472 3261 8106 14848 3169 3144 1965 7713 14860 2773 2461 14874 7296 2451 7608 14864 6975 3760 14866 2683 7518 3070 14876 2868 14858 7014 2296 14872 2286 7131 2763 7989 2179 2169 2878 1975 14856 14862 7812 2967 2130 2140 6552 14880 1693 14891 6542 8255 8280 3406 7610 7620 14843 7308 2449 7298 14875 8691 14845 14867 8810 14841 8675 8591 3742 8812 3961 7143 2671 14873 8319 7520 3445 7917 14859 7133 2284 14849 14865 3058 7907 14871 3142 8294 14857 8016 7347 7991 2866 7337 14855 3640 14847 8489 8505 14853 3259 8133 7824 8108 7725 7715 2965 2761 14861 7814 7530 8607 3826 14851 8441 8466 3592 14863 2488 7531 2501 3055 2297 1960 2575 1897 6823 2863 1706 3647 3274 6697 2962 7918 3749 3157 7726 7825 1976 6553 6609 2023 3421 3460 7710 2446 6744 6870 7515 8307 8806 7605 6681 3959 6537 7809 6972 3607 7011 7902 8680 2125 8596 2485 7293 7128 7621 6886 8268 8454 2281 8494 7332 8004 3833 7422 8121 8592 14790 7527 1702 3967 3831 14784 3957 8802 8676 7722 1698 14832 3747 14786 3757 3616 3597 14792 8442 8109 3264 14794 8490 14788 3645 3655 8013 3145 7338 7523 2289 1966 2293 14833 6549 1696 6545 14812 14825 2493 7134 7718 2674 6815 14814 14803 2968 14809 7821 2497 7817 14805 2869 6543 14796 3411 1972 6813 3430 8256 1968 14824 7617 6878 2029 8297 6882 14791 3595 8463 14807 14793 8316 7613 3448 2764 2462 2141 2039 1913 989 1778 3071 1850 2180 2591 2978 2879 2684 2774 5823 14834 985 978 1770 6615 14830 14826 1909 1846 14820 2133 3063 14800 14810 14818 2676 14808 14802 14806 6687 2458 2970 7908 7428 2031 2172 2871 14828 14816 2974 2176 7611 2770 7017 2766 2583 7815 2587 3067 2680 7521 1842 2875 7716 2035 14822 3166 14798 14804 7299 1905 6750 2137 6978 7992 2454 1774 6876 3827 8283 8252 3630 3590 3999 3637 3994 8482 8481 3638 3629 3591 8486 4019 3589 3977 3973 3825 3820 3988 3993 3981 8825 8822 8760 8826 8669 3974 8761 3915 3976 3989 8837 3821 3985 8834 8290 8289 8483 3635 8839 3624 3622 3995 3626 8844 8671 8838 3441 3437 3443 3986 8438 8475 8840 8835 8672 8667 8828 8845 8843 8291 8856 8285 3991 3823 8861 8820 8287 8477 8251 8824 3997 8846 3980 8842 8437 8436 8286 8857 3639 3914 8668 8832 3634 8485 4012 3442 8841 8836 3979 8484 4009 3628 3996 8586 8853 8833 3978 3436 8250 4011 8823 8821 4008 8762 3987 3405 3975 3913 3822 3824 3990 3992 3743 8608 3641 8506 8692 3962 8281 3260 3407 8134 8859 2450 1817 2168 1949 1901 2129 2139 6988 2460 6980 2131 14823 2170 14819 7023 6984 7019 2165 7027 7009 7013 7029 2285 7008 2579 9291 2132 6734 6662 2135 8476 8670 8131 8317 6993 2146 9046 9563 2453 4144 2456 1820 4716 8983 7305 7301 14817 2452 6752 6693 1903 6819 6756 14827 7140 7136 2287 14815 7348 7438 7144 7309 6760 14811 7430 7434 2581 7344 7340 14813 2491 8492 3643 14783 8814 9119 9101 8277 3409 14797 8258 8111 6797 9155 9165 9147 9134 9131 9128 9140 9137 9104 9107 9125 9122 9110 9113 9116 2262 9161 9148 9158 9156 9168 9159 9162 9152 9153 9149 9164 9143 9167 9146 9170 9151 6683 1835 6679 1828 6677 6674 1833 1829 1825 6678 3431 3173 3617 3179 3178 3175 3284 7847 7849 7651 7649 8341 8339 8393 8395 8328 8624 8626 8522 8524 7634 7642 8047 8213 7550 8045 7552 7462 8153 8155 7460 7939 8773 7937 7745 8771 8763 7747 8215 8713 8711 8324 7638 7449 3167 8138 7840 7843 8136 3176 8030 7645 4135 8984 8971 8975 4127 8970 1955 1956 8386 8332 8137 8335 8389 8620 8617 8518 8515 1830 1708 6675 1760 6610 1692 6531 1852 1836 1832 1764 6601 6603 6672 6682 6680 6673 1780 6608 8698 8702 8704 8202 8382 7546 7543 7734 8143 8209 3292 3293 3297 8142 7836 8141 7930 8146 7738 8613 7539 8511 7453 7456 7741 8041 8206 8038 8149 7933 1951 1831 6676 1827 3470 3656 3842 3758 7092 7109 7777 7775 7650 7551 3307 8794 8656 4082 8752 7461 1740 3906 1809 7050 8046 6584 7746 8081 6659 8712 8772 6728 6586 2235 7081 2742 7588 2931 7685 1884 6730 8523 7848 1811 8625 8750 8581 3039 1944 6794 1946 2559 7403 7405 1812 1947 6791 6793 7498 7586 8192 3344 7885 3237 8083 2007 2009 6857 8194 7883 3342 6736 6743 1893 6745 1899 1915 6738 1895 4111 1953 9276 4397 2977 7445 8589 3433 3744 14846 3828 14868 3642 14854 8487 8253 3658 14842 8808 2580 3844 2590 7425 8673 2500 14844 3408 6810 14890 14882 2673 1695 1705 1839 6529 6536 6538 1894 6735 1890 6739 1959 6746 6963 6967 1818 2119 6971 2117 9293 3396 8248 3398 8246 4429 7279 3367 4413 1816 7607 3036 3126 2928 2741 8086 7888 8084 7886 2739 2930 3038 7591 7223 7225 6923 1883 7589 7082 6925 7778 7084 7780 1881 6959 2111 6731 1739 3001 3199 6587 2521 2704 3091 2109 2651 2614 1737 3778 2375 2232 2373 2899 3809 2234 2073 2075 8657 8659 3807 8582 8584 3734 3732 3676 6600 1759 8305 1755 7289 2445 2483 7288 3964 3960 7324 7326 8805 1957 3648 8127 2503 2299 7126 8117 3609 3613 7285 8449 7127 8445 7119 8308 3461 7294 2442 7284 3604 2279 1962 1958 1978 6808 3754 8302 3834 7415 7329 8306 3457 8299 3453 2481 8493 3602 2274 3750 14966 8120 2487 2273 7120 8116 2447 3268 8118 2283 2439 7323 7327 3451 2464 3838 8595 2275 8119 7291 2438 7129 7292 7295 7311 8679 14996 3458 2440 3456 3606 8123 8304 3266 8303 6604 8446 6801 3466 8453 8448 3605 8298 2448 3600 8455 2444 3603 3652 8301 3598 7333 3462 2482 14976 3459 7121 7331 14997 8681 3832 7012 2118 7003 2182 6737 2122 8260 3417 7010 7996 8003 2020 2751 7702 3423 8262 2955 2166 6803 1954 3427 2776 6805 7803 2964 2756 2666 3159 2861 2760 2686 2754 2160 2162 2143 2127 7507 7510 7514 2670 6964 3163 7999 2860 6966 2959 3155 3154 7998 7599 2859 2121 8005 7417 2021 8263 6804 7509 2661 2665 7506 7597 7516 2856 7705 3153 3418 6973 7709 7701 7606 7596 2881 3419 2123 2041 2025 2019 2755 7711 7600 2572 7604 6809 6825 3422 3415 2664 2865 2980 7801 7513 7517 2662 7512 2660 7511 7508 1961 8929 6859 8464 8605 8503 8689 8278 8014 7137 14758 2292 4729 6528 1687 9288 1892 1888 2838 2840 7688 7690 7277 2090 6934 2086 6936 2092 2089 3493 3522 3524 8372 8374 2803 3584 3547 8432 3582 8434 2098 6953 6955 2099 8797 8795 3905 6944 2095 6949 6947 2096 6948 8753 2103 8755 2427 3865 3903 3945 2429 3947 2084 2105 6534 2441 2479 6530 7130 7330 7146 7334 6699 8991 8964 8010 8265 8000 7703 8266 8274 3149 7623 2567 6741 7865 7866 3008 8061 3210 8228 3211 3024 8063 8223 8220 7867 3018 3214 3219 8059 3212 3374 3381 8066 3215 8060 3208 3023 7861 3101 3022 8065 3379 3555 3689 8549 8643 3710 8641 8414 3557 3316 8776 3896 3798 3715 3888 8423 8733 3701 3707 3933 8633 3717 8778 3716 3703 8781 3711 8738 3699 8568 8552 3696 8566 8730 8176 3570 8411 3326 3513 8350 3324 3510 3565 3692 3314 8418 3562 3321 8349 8402 3327 8415 3942 3317 3335 8178 3507 8407 3319 8716 8358 8545 3883 8533 3714 3889 8539 3712 8562 8788 3325 3574 3561 8986 14059 4363 15321 14061 5829 986 14778 984 6546 1703 1701 14776 4139 8982 6883 6881 14765 2032 7024 14763 7022 2173 4137 14780 1864 1865 6705 6710 1862 1861 1866 6709 1859 6707 1860 6712 6711 6713 6708 1858 6706 1863 6716 1869 6718 6714 1873 6722 8064 3016 2722 7558 2724 2716 2720 2058 6900 7389 7958 7382 7378 2356 7482 2055 2051 2354 2052 3213 6901 3106 3373 7950 7954 2528 2816 3377 3108 7570 7380 7565 7481 7953 2821 2404 2411 2405 7253 2408 7259 7252 2409 7257 6905 6902 6903 7258 7256 2410 7255 2412 7261 7263 7268 2056 6899 7386 7204 2353 2355 7374 2351 7387 2053 6898 2050 6904 2057 6897 2054 2406 7251 2407 7254 7372 7564 7951 2819 7752 2822 7566 7472 2910 2631 7669 7392 8062 2814 2820 2719 7567 7681 7665 3216 7563 2823 7383 2815 7663 7390 2810 2548 8058 7967 2534 2630 7397 2553 2533 2625 7569 3218 7756 2912 2715 7479 7944 2634 7571 7483 7952 2732 2826 7572 7575 7662 7668 2730 3109 7654 7672 2831 2829 3217 7864 2711 2535 2537 3028 7576 7750 2713 7771 3035 3209 7855 3027 3207 7879 7959 8420 3013 3017 8422 14777 14775 14773 6620 6548 1843 6692 6985 14767 6983 2134 6694 6550 1699 6622 1771 7304 7306 14748 7719 2874 2876 2455 14761 14753 7528 2677 7526 7343 2494 14757 7345 14759 2290 7139 7141 14749 7721 7723 2872 7433 2584 7435 14755 14735 8459 3610 14737 8461 8312 3463 8314 14745 7913 7820 7915 7822 14747 2971 3064 8011 8128 8009 8275 3160 3277 14743 8602 8498 8500 8684 14733 14731 8801 3649 8686 8817 8600 3751 14727 14729 3835 3952 8273 3424 8126 14739 14741 3839 3837 14726 8799 8682 3954 3970 14728 6618 14774 1773 1775 14771 1906 6757 6755 7616 7618 14751 2767 7302 2459 14760 2457 2498 14756 7341 2496 2294 2588 14754 7431 2586 14772 6690 1845 1847 3068 14744 3066 7911 3428 3465 3467 8310 3426 8271 14740 14734 2679 14752 2681 7524 2769 7614 14750 2771 14732 8124 3651 8496 3281 14738 3279 3653 3612 8457 14736 3755 8598 14730 3614 3753 1910 1908 6753 14770 6879 2036 2034 14764 14762 2177 7020 2175 6981 2136 2138 14766 14746 2975 7818 2973 3162 8007 14742 3164 6655 6647 6653 1805 8548 7858 8540 7684 8351 2825 2733 3872 3785 2828 8362 7468 2824 3691 3688 8736 7673 7772 8361 8530 2832 8557 7677 8531 8535 3787 3500 8547 6648 7970 7577 8529 3934 8544 2827 8534 7676 8741 8401 2834 3553 8353 8732 7678 3939 8532 7972 8360 2529 8352 8348 8784 7682 3095 8240 2908 3392 3371 7766 8242 3390 3122 7060 7763 2915 3386 8234 3793 7871 8645 8647 6720 1870 3385 8236 7058 2210 6782 1934 6788 6783 6790 6784 1938 1933 6776 7059 6779 1930 6771 6649 1928 6773 6769 1927 6774 6775 6770 1921 1923 1922 2212 1925 1929 2922 8231 3383 3509 1926 1924 6772 6768 3803 8653 8651 8235 3511 3518 8366 8368 3516 1871 6719 1868 6721 1877 6727 1867 6725 1875 1856 1931 1940 3382 7276 7274 2430 6956 6958 2376 3129 7975 3810 7973 7938 7402 2552 2546 3345 8191 8189 8154 1677 3123 7942 7969 8185 3339 3119 3125 7209 7212 2359 7213 2363 7211 2369 2367 7217 7208 2348 2360 2362 9043 4197 9041 7260 2415 2420 7270 2419 7264 7249 2418 2426 2424 2203 6583 6581 4091 6470 6522 6922 2076 6920 6892 6856 2010 6854 7219 2917 7767 6580 6559 1734 1736 9047 4202 4198 9051 2045 2344 9268 8230 2835 7674 8995 9027 4187 9028 4185 9035 4193 4191 4182 9037 4186 1675 1623 6524 2012 1619 9171 4329 9175 6909 2065 2066 6906 6916 6907 2072 2061 1618 1015 5864 6467 2694 2611 2706 2616 2599 2607 2689 2604 6468 2600 3927 14769 6818 6820 1971 14768 6816 1973 1969 9469 4614 4623 4619 4617 4207 4395 8113 3272 2593 2577 7440 6864 6862 8115 3267 8499 8495 2022 7811 8122 3416 3420 7533 6742 1889 8450 1952 8002 3151 8807 14977 2570 7287 6555 6539 3271 2569 7896 2437 2024 1826 6867 2014 8269 3280 2116 2571 7414 7704 7810 3051 3150 3273 3608 3276 3270 7706 7707 7728 8452 2855 8270 3413 2478 3455 8264 7286 7290 2566 2016 3269 3265 3275 7806 7807 2124 7325 3414 2443 7350 7328 8597 3748 3049 3047 7420 2477 7827 8685 7904 3646 3958 7421 7423 7903 2018 6970 3057 3052 2126 3073 2573 7416 3053 8267 3601 991 6995 6997 7125 6990 6802 6806 6974 6969 6965 6865 6871 6869 7424 2280 7419 7899 3056 8001 3054 2282 3156 3412 2568 8811 3955 8688 8804 4076 8925 2257 4073 2251 7102 8917 7100 7118 4072 7101 8921 8924 6960 2270 7106 7110 6798 8972 8974 4128 4124 6872 1898 2017 6762 6866 6740 2015 6868 1896 8309 3452 8006 8601 7418 14967 7808 7920 3050 2858 3152 2854 2484 2486 2576 2574 8300 3454 7708 8451 8447 8460 7712 8456 3599 2120 2480 2476 7413 2963 2864 2862 3158 3148 2272 6535 1691 6968 1891 8313 2857 6888 2701 2697 1587 1586 6429 1714 6461 4154 4155 1792 5868 1038 6575 6565 1028 5884 5886 8997 15072 1609 9002 6433 1594 6455 9003 4153 6439 8783 3796 8642 3794 3206 7957 2918 3030 2635 7057 7964 2638 7062 2215 8640 8644 7875 3682 6462 6423 1800 15070 3228 8073 3223 3221 7876 7874 7880 3032 7774 7768 3694 2088 2906 2909 3879 2543 3220 3322 7056 8069 8173 8561 2112 3103 3100 7854 3102 7852 8394 7377 2538 3709 8169 7394 7064 6717 8168 2643 3880 8170 8166 3313 7961 3120 3116 2639 2550 2542 2545 7400 3900 3320 8543 3685 8567 8538 8554 8172 8080 8078 7945 8943 7869 8074 8780 2735 7574 2728 9030 7191 8222 3566 3560 8347 3105 3107 8722 3115 8162 8163 3797 8646 2710 7489 8177 8171 1603 4158 9001 1601 4151 6451 1040 6421 1617 1610 6463 1575 1589 6642 14549 1606 1031 6577 4156 6422 1716 1577 1726 6567 1033 6437 6564 6561 1580 1019 1717 1718 1576 9004 15073 15071 7856 8056 8359 3026 9005 9000 15074 1613 4157 6446 6441 6449 2841 3502 3508 8167 3203 3230 4150 1725 7063 7687 2725 2729 7583 7579 7578 2350 2352 2357 7197 7199 7375 2358 7391 7379 8537 3697 6639 1793 1791 1727 1787 1035 1025 5872 5876 1037 6563 5873 6638 6426 1605 6434 8055 3575 8057 2721 7473 7478 3318 7960 3114 7962 8077 7467 8050 8070 3698 3881 8158 7873 1582 5885 6635 6428 1799 8357 8053 3932 8553 3683 3512 9031 7557 8072 2905 2645 7495 1016 6445 1600 15075 2087 2093 2091 2094 8999 6430 5874 6571 5888 6572 1730 1574 6454 1788 1786 2558 7406 2649 7200 7679 8356 8363 8160 7863 3015 7966 7956 7947 3104 7868 3021 3033 7862 2726 8541 8743 8546 8571 7493 2531 7585 2913 3025 2211 7488 7882 7499 7501 7978 2556 7408 8551 8413 3559 3936 8779 3554 2626 2723 2623 2530 2540 3110 2620 7949 7955 7965 3205 3111 6469 3558 8634 8558 7368 7376 7385 7203 7198 7201 7202 7205 7976 3236 3128 3234 3224 8550 3922 3918 3735 8579 7061 8355 6658 6656 2621 7487 7396 7395 8164 7079 6914 6895 6910 2064 2070 1987 1985 1984 1992 3112 3113 7484 1988 6842 6846 6851 1994 1996 2003 2060 2001 2069 2067 7072 7078 8747 6913 2228 7070 2221 6911 2226 2218 2063 2219 3329 6919 6908 2062 2059 6917 2222 7067 7071 7076 1733 1997 6853 6845 6912 6847 3897 2413 2414 7267 2421 3884 3877 8188 3892 3875 8181 3893 3886 3891 3874 3887 3871 3578 8791 3882 3878 3338 8186 7271 7273 2423 8180 8426 8428 8182 2417 7262 7266 2416 7265 3572 3569 3571 8421 3568 3576 8417 3719 3722 8576 3328 3332 8720 8727 8789 8572 8735 3331 3721 3336 8785 8737 8570 8749 3728 3941 3726 3718 3935 3899 3931 8578 1936 6766 6778 7469 6787 1937 6785 1941 1932 6652 2106 6946 6942 6950 2097 6631 1808 6643 1802 2108 2102 6945 6931 6943 2101 6952 2100 1806 6650 1878 6724 6715 1880 2622 7559 7471 2624 7561 8229 6780 1943 6777 2372 8233 1874 1872 6781 1935 6703 5863 1622 1620 6466 6645 1797 1801 6646 6844 2000 1998 6850 6848 1999 6841 6843 6840 2006 2004 7065 7069 2223 7066 7068 7075 2229 2225 7073 2231 2220 2224 2919 8565 8569 8175 2811 2712 2714 2813 7660 7658 8179 7765 2921 3147 7994 8604 3283 3262 14799 14782 4439 4728 8936 6668 4109 14821 4432 2278 3841 3450 8130 8444 7914 3745 3469 14795 8295 4437 14789 8594 8502 14787 1950 4431 6795 4204 4200 2618 3311 3782 2207 3551 2807 1982 2048 6829 2903 3497 2708 2525 2402 3005 3929 3869 3680 1919 1784 7054 1712 6589 6663 6732 9292 6961 2398 4441 4446 1742 8938 9250 8947 4403 9254 4100 6660 4407 7245 6525 9561 4409 9049 9045 2114 4427 9252 4418 1819 2264 1746 1750 6592 4108 1824 4096 4087 7215 4331 8958 4405 9278 9274 9256 9263 4445 6597 6593 9265 9247 9555 6666 8934 6671 6667 7111 8955 7194 2403 7269 7248 2349 4433 9036 4192 4149 8994 4147 8996 9039 4189 2347 7196 2368 2083 6932 2104 6560 1783 1807 6789 1785 6767 6582 6630 1711 1918 6654 6632 1804 7466 2206 7055 7077 7971 3124 3340 2904 3730 2071 8157 2425 7851 2005 6915 6951 2208 7074 3096 7464 6828 8745 3805 2107 1857 8184 8217 3943 3520 8343 8238 8775 6852 6726 6896 7653 1713 6579 2808 2836 8652 6830 1855 6954 6918 6704 1981 6558 7680 6651 2227 7581 8241 1735 1621 5862 1017 2002 3550 2707 2806 8345 7584 3517 7683 3496 2734 2833 7556 1876 7655 8367 3031 8051 1732 3121 8079 8424 8397 3552 2047 3580 8630 3781 2644 2551 2068 6465 1939 8364 3372 8787 3930 3394 1920 1942 6765 7941 7053 8076 3034 2230 3498 2371 7881 3229 7401 2617 2923 7218 7494 3802 7554 8399 3004 7773 2524 3577 7373 2902 3202 7943 7853 7751 8427 3094 6786 2554 3312 3337 3370 3310 2709 3681 7371 8526 6702 6894 3783 8649 2926 8049 1983 3901 7770 3006 2085 7491 3870 8574 7968 2619 8628 7878 3232 3204 6849 2647 6723 6930 2049 7398 8187 2737 8159 3391 2526 8219 1879 7749 8715 7272 7250 2401 3868 3898 3727 8528 8777 8748 3679 8790 3928 8717 8577 3940 2422 7761 3801 2924 8559 2914 7222 3690 7486 3506 3315 8632 8637 3708 3563 3505 3378 2925 7573 8556 7860 3944 3019 3020 3702 3873 7872 7381 2717 2817 7670 3118 7399 3902 8183 8564 7946 8575 3389 2364 7582 2365 8650 3387 2637 8365 2727 2736 7210 3800 3731 2646 3395 3393 7465 3399 7207 2920 7555 3330 3799 3525 8409 2907 7384 2718 7475 3573 2837 3556 3501 8563 3937 7206 3894 3504 7963 8786 7562 3567 8346 3687 2539 7948 3705 7762 8243 8654 8165 8429 8431 7470 8354 7666 2818 3014 2532 3713 3723 8405 3010 2536 2628 7870 7568 3333 8573 3323 7667 8542 8221 8406 2809 7659 8227 7877 8408 3579 3938 7388 3704 8536 2547 7657 8075 8419 7480 2636 8555 7485 3503 8782 3009 3564 8404 7764 8721 3693 8068 7580 8425 2830 2549 3895 3007 3706 2629 2927 8225 8718 8416 7393 8731 8398 8071 8412 3948 2652 8067 8218 8237 8400 7496 8226 3376 7560 2633 2527 8725 8174 8410 3499 7656 8734 2627 8161 7477 3684 3876 7490 3341 8560 8648 3695 2640 2642 7664 3117 2812 2555 8232 3029 7220 2541 3885 7857 3686 7492 3806 3388 2731 3521 3795 8344 3720 2648 3724 8629 2738 7195 3225 2641 3233 3519 8340 7216 3515 3384 3226 3222 2916 8527 3514 3729 8371 2366 3334 3725 3231 8214 2632 8245 2544 3380 3890 7476 7671 8746 2911 8740 7675 3700 8403 8239 7661 7769 3585 8792 3375 3012 3581 8224 3011 3227 7474 7859 2370 3804 8369 7214 2361 884 854 7974 8190 8244 7884 7497 8580 8655 8793 8430 8370 8751 9042 7083 7052 7278 7247 7686 8082 7776 7587 7369 7367 7190 7192 6893 6924 7404 6855 7636 7640 6792 6729 6585 7221 6957 6523 6657 2786 8373 8342 7370 7407 8433 8193 8156 8525 8583 8396 8247 8216 8796 7977 7940 8774 8714 8754 8627 8658 2790 2077 2046 2523 2560 2653 3130 3093 3309 3346 3040 3003 7748 7463 7779 7500 2400 2431 7590 2205 3586 7275 3549 7244 7246 7193 7553 2346 2377 7224 2236 8048 7689 8085 7850 6921 6891 7652 7887 8323 7080 7049 7051 3526 2743 2932 3238 3201 2901 3495 3811 3780 2805 2842 3678 3369 3400 3949 3867 3907 3736 2783 2983 7635 7629 2785 7626 2792 8707 9242 9260 4411 4714 4708 4438 4723 4721 4718 9258 4717 4735 9086 9228 9582 9570 9285 9565 9576 9597 9564 9280 9568 5170 5168 5166 5085 5163 5074 5089 5087 5070 5067 5072 9841 5082 547 5396 5391 5394 5414 5398 5416 565 5314 145 5360 5362 511 142 465 467 5409 562 544 5307 508 5355 4989 4992 10245 10243 10261 10263 10157 10154 10541 11360 10571 10574 10544 11357 2517 2519 7362 7046 7048 8710 3487 3859 8768 8392 8338 8336 8708 3919 7359 7185 2340 7236 8390 2608 7457 3089 7932 3085 2605 7459 2997 7842 2999 2797 2794 8042 3082 3190 7934 7366 2612 7455 2610 2512 2338 8619 2335 3489 3491 3197 8331 8152 3195 8037 8040 2893 7742 2995 7846 7844 3087 2700 7545 7542 2890 7744 2197 3361 8210 2201 7044 2199 7041 7737 2897 8044 7929 7740 2895 3365 7549 3363 2515 2392 7644 2799 2801 8150 3774 3776 3298 2702 7241 7239 2394 8616 8621 8521 3670 3305 8145 8706 3861 8148 3303 3863 8388 7641 2389 3538 3484 8766 2992 2695 3856 3667 3358 8517 3674 3672 3923 7452 8205 3921 8703 8514 2396 3545 7936 3772 2698 7364 2194 2342 7182 8519 7646 8385 8770 7187 8208 8623 7648 8334 7243 3541 3543 8212 3769 7189 3301 3193 7839 7547 7360 7356 7183 7237 7042 7179 7038 7454 7365 7451 7231 7361 7358 7447 7458 7354 7446 2690 2596 2597 7171 2601 2603 7174 2508 7353 2510 7544 7548 7238 7242 7541 7040 7047 7736 7739 7743 7043 8520 8384 7834 8391 8211 8204 7931 7935 7841 7845 8699 8043 8151 8147 8701 8140 8622 8509 8207 8032 8387 8330 7647 7643 8337 8709 8611 8144 8705 8769 8618 8039 8765 8333 7537 8615 8513 8516 8326 7188 7181 7184 7838 7924 8380 7177 8200 7732 7036 2190 2192 7035 2185 8028 2186 8026 8022 8029 8023 2511 3537 3300 3290 2395 7540 2391 7178 7733 2334 2518 7357 2506 8697 2793 3532 2800 7927 3540 3544 8383 8695 7355 8322 3354 3854 7837 2892 3483 8327 3289 2986 3357 2984 2514 3852 8033 3353 3184 3490 8512 8201 3479 7363 2337 7180 2329 3196 3081 3862 2200 2196 2388 7925 3185 3181 8035 3088 3486 8203 3360 3352 7735 2896 3478 3192 8329 2994 3084 2691 2886 7450 7835 2341 7444 3356 2693 7536 7039 7731 3364 8199 7037 3853 3182 3189 2884 3476 7538 2889 7633 2991 3304 2188 3849 3858 8381 2998 2888 2796 2383 3076 7234 7232 7448 2789 2885 3482 8610 3775 3771 3666 3661 3763 3673 7639 8510 3669 2788 2987 7637 3480 8325 3765 7186 8700 8614 3475 8612 3848 7240 3767 3850 3768 3764 8379 8508 2385 3662 7045 2331 7176 2387 3077 7632 3533 7830 2333 3078 3665 3186 3188 3534 7443 7833 2990 3294 3296 3663 2507 2330 3536 2988 8139 3080 2384 15204 10376 10292 15220 15224 10304 10384 10321 10300 10387 10390 10459 10456 10370 10307 15254 10379 10427 10391 10394 10046 15226 15200 15228 15236 15230 15258 10411 10447 10366 10465 10057 10282 10405 10450 10336 10360 10339 10444 10423 10357 10426 10354 10441 10318 10363 10369 10303 10408 10453 10060 10462 10371 10047 10305 10072 10308 10395 10392 10428 10380 10377 10293 10324 10027 10297 9844 9847 15557 9836 151 9929 9932 9840 9845 10025 9843 15625 15627 15623 9693 9691 9690 15017 4847 15556 14540 14538 14537 0
395.19/395.28
395.19/395.28 c Core has size 9920
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-3495805-1307807652/watcher-3495805-1307807652 -o /tmp/evaluation-result-3495805-1307807652/solver-3495805-1307807652 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495805-1307807652.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.70 1.52 1.92 5/189 16770
/proc/meminfo: memFree=30812648/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=13324 CPUtime=0 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 828 0 0 0 0 0 0 0 25 0 1 0 892365932 13643776 641 33554432000 4194304 4365125 140735311131760 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 3331 641 255 42 0 479 0
[startup+0.0752761 s]
/proc/loadavg: 2.70 1.52 1.92 5/189 16770
/proc/meminfo: memFree=30812648/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=16608 CPUtime=0.07 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 2706 0 0 0 7 0 0 0 25 0 1 0 892365932 17006592 1278 33554432000 4194304 4365125 140735311131760 18446744073709551615 4317013 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 4152 1279 263 42 0 1300 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16608
[startup+0.100263 s]
/proc/loadavg: 2.70 1.52 1.92 5/189 16770
/proc/meminfo: memFree=30812648/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=17676 CPUtime=0.09 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 3557 0 0 0 9 0 0 0 25 0 1 0 892365932 18100224 1442 33554432000 4194304 4365125 140735311131760 18446744073709551615 4249149 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 4419 1442 263 42 0 1567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17676
[startup+0.300235 s]
/proc/loadavg: 2.70 1.52 1.92 5/189 16770
/proc/meminfo: memFree=30812648/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=24860 CPUtime=0.29 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 11499 0 0 0 29 0 0 0 25 0 1 0 892365932 25456640 3387 33554432000 4194304 4365125 140735311131760 18446744073709551615 4266155 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 6215 3391 263 42 0 3363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24860
[startup+0.701156 s]
/proc/loadavg: 2.70 1.52 1.92 5/189 16770
/proc/meminfo: memFree=30812648/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=39144 CPUtime=0.69 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 24821 0 0 0 67 2 0 0 25 0 1 0 892365932 40083456 6791 33554432000 4194304 4365125 140735311131760 18446744073709551615 4247572 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 9786 6795 263 42 0 6934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39144
[startup+1.50102 s]
/proc/loadavg: 2.80 1.56 1.93 5/190 16772
/proc/meminfo: memFree=30774720/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=96768 CPUtime=1.49 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 73026 0 0 0 142 7 0 0 25 0 1 0 892365932 99090432 16523 33554432000 4194304 4365125 140735311131760 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 24192 16523 263 42 0 21340 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 96768
[startup+3.10073 s]
/proc/loadavg: 2.80 1.56 1.93 5/190 16772
/proc/meminfo: memFree=30688708/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=179168 CPUtime=3.09 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 109607 0 0 0 298 11 0 0 25 0 1 0 892365932 183468032 27437 33554432000 4194304 4365125 140735311131760 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 44792 27437 263 42 0 41940 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 179168
[startup+6.30116 s]
/proc/loadavg: 2.90 1.60 1.94 5/190 16772
/proc/meminfo: memFree=30532052/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=355560 CPUtime=6.29 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 183892 0 0 0 611 18 0 0 25 0 1 0 892365932 364093440 56763 33554432000 4194304 4365125 140735311131760 18446744073709551615 4250320 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 88890 56763 263 42 0 86038 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 355560
[startup+12.701 s]
/proc/loadavg: 2.98 1.64 1.95 5/190 16772
/proc/meminfo: memFree=30389964/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=497904 CPUtime=12.69 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 417528 0 0 0 1229 40 0 0 25 0 1 0 892365932 509853696 82811 33554432000 4194304 4365125 140735311131760 18446744073709551615 4262681 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 124476 82811 264 42 0 121624 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 497904
[startup+25.5006 s]
/proc/loadavg: 3.14 1.71 1.97 5/190 16772
/proc/meminfo: memFree=30307332/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=518108 CPUtime=25.49 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 555031 0 0 0 2495 54 0 0 25 0 1 0 892365932 530542592 117766 33554432000 4194304 4365125 140735311131760 18446744073709551615 4291535 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 129527 117784 264 42 0 126675 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 518108
[startup+51.101 s]
/proc/loadavg: 3.55 1.95 2.04 5/190 16811
/proc/meminfo: memFree=29964264/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=514012 CPUtime=51.09 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 675232 0 0 0 5041 68 0 0 25 0 1 0 892365932 526348288 118768 33554432000 4194304 4365125 140735311131760 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 128503 118768 264 42 0 125651 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 514012
[startup+102.307 s]
/proc/loadavg: 3.80 2.26 2.14 5/190 16888
/proc/meminfo: memFree=29914644/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=520152 CPUtime=102.3 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 860755 0 0 0 10141 89 0 0 25 0 1 0 892365932 532635648 119263 33554432000 4194304 4365125 140735311131760 18446744073709551615 4262095 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 130038 119263 264 42 0 127186 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 520152
[startup+162.301 s]
/proc/loadavg: 3.96 2.59 2.26 5/190 16890
/proc/meminfo: memFree=29442512/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=499676 CPUtime=162.29 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1037039 0 0 0 16120 109 0 0 25 0 1 0 892365932 511668224 117059 33554432000 4194304 4365125 140735311131760 18446744073709551615 4244663 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 124919 117059 264 42 0 122067 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 499676
[startup+222.301 s]
/proc/loadavg: 3.98 2.84 2.37 5/190 16891
/proc/meminfo: memFree=29563132/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=597972 CPUtime=222.29 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1369567 0 0 0 22082 147 0 0 25 0 1 0 892365932 612323328 129039 33554432000 4194304 4365125 140735311131760 18446744073709551615 4244672 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 149493 129039 264 42 0 146641 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 597972
[startup+282.301 s]
/proc/loadavg: 3.99 3.05 2.47 5/190 16893
/proc/meminfo: memFree=29471448/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=511964 CPUtime=282.29 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1654421 0 0 0 28050 179 0 0 25 0 1 0 892365932 524251136 118277 33554432000 4194304 4365125 140735311131760 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 127991 118277 264 42 0 125139 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 511964
[startup+342.301 s]
/proc/loadavg: 4.04 3.24 2.57 5/190 16895
/proc/meminfo: memFree=29273764/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=516060 CPUtime=342.29 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1740871 0 0 0 34041 188 0 0 25 0 1 0 892365932 528445440 118791 33554432000 4194304 4365125 140735311131760 18446744073709551615 4248416 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 129015 118791 264 42 0 126163 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 516060
Solver just ended. Dumping a history of the last processes samples
[startup+358.301 s]
/proc/loadavg: 4.03 3.27 2.59 5/190 16895
/proc/meminfo: memFree=29274120/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=505820 CPUtime=358.29 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1807274 0 0 0 35633 196 0 0 25 0 1 0 892365932 517959680 117506 33554432000 4194304 4365125 140735311131760 18446744073709551615 4258040 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 126455 117506 264 42 0 123603 0
Current children cumulated CPU time (s) 358.29
Current children cumulated vsize (KiB) 505820
[startup+371.1 s]
/proc/loadavg: 4.02 3.31 2.61 5/190 16933
/proc/meminfo: memFree=29375892/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=481244 CPUtime=371.09 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1834958 0 0 0 36910 199 0 0 25 0 1 0 892365932 492793856 114478 33554432000 4194304 4365125 140735311131760 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 120311 114478 264 42 0 117459 0
Current children cumulated CPU time (s) 371.09
Current children cumulated vsize (KiB) 481244
[startup+383.907 s]
/proc/loadavg: 4.02 3.33 2.62 5/190 16934
/proc/meminfo: memFree=29466544/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=477148 CPUtime=383.89 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1858988 0 0 0 38187 202 0 0 25 0 1 0 892365932 488599552 113964 33554432000 4194304 4365125 140735311131760 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 119287 113964 264 42 0 116435 0
Current children cumulated CPU time (s) 383.89
Current children cumulated vsize (KiB) 477148
[startup+390.301 s]
/proc/loadavg: 4.02 3.34 2.63 5/190 16934
/proc/meminfo: memFree=29429712/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=487388 CPUtime=390.29 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1866409 0 0 0 38826 203 0 0 25 0 1 0 892365932 499085312 115249 33554432000 4194304 4365125 140735311131760 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 121847 115249 264 42 0 118995 0
Current children cumulated CPU time (s) 390.29
Current children cumulated vsize (KiB) 487388
[startup+393.5 s]
/proc/loadavg: 4.02 3.35 2.64 5/190 16934
/proc/meminfo: memFree=29450784/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=487388 CPUtime=393.49 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1866409 0 0 0 39146 203 0 0 25 0 1 0 892365932 499085312 115249 33554432000 4194304 4365125 140735311131760 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 121847 115249 264 42 0 118995 0
Current children cumulated CPU time (s) 393.49
Current children cumulated vsize (KiB) 487388
[startup+394.301 s]
/proc/loadavg: 4.02 3.35 2.64 5/190 16934
/proc/meminfo: memFree=29450784/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=487388 CPUtime=394.29 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1866409 0 0 0 39226 203 0 0 25 0 1 0 892365932 499085312 115249 33554432000 4194304 4365125 140735311131760 18446744073709551615 4258252 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 121847 115249 264 42 0 118995 0
Current children cumulated CPU time (s) 394.29
Current children cumulated vsize (KiB) 487388
[startup+394.701 s]
/proc/loadavg: 4.02 3.35 2.64 5/190 16934
/proc/meminfo: memFree=29450784/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=487388 CPUtime=394.69 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1866409 0 0 0 39266 203 0 0 25 0 1 0 892365932 499085312 115249 33554432000 4194304 4365125 140735311131760 18446744073709551615 4242710 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 121847 115249 264 42 0 118995 0
Current children cumulated CPU time (s) 394.69
Current children cumulated vsize (KiB) 487388
[startup+395.101 s]
/proc/loadavg: 4.02 3.35 2.64 5/190 16934
/proc/meminfo: memFree=29457728/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=487388 CPUtime=395.09 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1866409 0 0 0 39306 203 0 0 25 0 1 0 892365932 499085312 115249 33554432000 4194304 4365125 140735311131760 18446744073709551615 4258454 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 121847 115249 264 42 0 118995 0
Current children cumulated CPU time (s) 395.09
Current children cumulated vsize (KiB) 487388
[startup+395.201 s]
/proc/loadavg: 4.02 3.35 2.64 5/190 16934
/proc/meminfo: memFree=29457728/32951124 swapFree=67056684/67111528
[pid=16770] ppid=16768 vsize=487388 CPUtime=395.19 cores=4,6
/proc/16770/stat : 16770 (MoUsSaka) R 16768 16770 13546 0 -1 4202496 1866409 0 0 0 39316 203 0 0 25 0 1 0 892365932 499085312 115249 33554432000 4194304 4365125 140735311131760 18446744073709551615 4257451 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/16770/statm: 121847 115249 264 42 0 118995 0
Current children cumulated CPU time (s) 395.19
Current children cumulated vsize (KiB) 487388
Child status: 20
Real time (s): 395.298
CPU time (s): 395.298
CPU user time (s): 393.247
CPU system time (s): 2.05069
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 1087420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 393.247
system time used= 2.05069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1866414
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= 5
involuntary context switches= 657
runsolver used 0.692894 second user time and 1.46778 second system time
The end
Begin job on node109 at 2011-06-11 17:54:12
IDJOB=3495805
IDBENCH=88548
IDSOLVER=1989
FILE ID=node109/3495805-1307807652
RUNJOBID= node109-1307807601-16674
PBS_JOBID= 13551065
Free space on /tmp= 74016 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/chen/fdmus_v100/fdmus_b22_113.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495805-1307807652/watcher-3495805-1307807652 -o /tmp/evaluation-result-3495805-1307807652/solver-3495805-1307807652 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495805-1307807652.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 1b04769869f54bcdc3e578806c390989
RANDOM SEED=1755691987
node109.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 : 5332.75
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.74
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.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.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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30816044 kB
Buffers: 308956 kB
Cached: 1045592 kB
SwapCached: 8608 kB
Active: 1178816 kB
Inactive: 725868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30816044 kB
SwapTotal: 67111528 kB
SwapFree: 67056684 kB
Dirty: 400 kB
Writeback: 0 kB
AnonPages: 547648 kB
Mapped: 13732 kB
Slab: 164020 kB
PageTables: 6480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 964108 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= 74012 MiB
End job on node109 at 2011-06-11 18:00:47