0.00/0.00 c MoUsSaka vegetarian
5.58/5.61
5.58/5.61 s UNSATISFIABLE
757.60/757.68 c Core is minimal
757.60/757.68
757.60/757.68 v 6987 8869 9369 4167 6048 2288 2283 9540 5108 4168 9712 5102 4307 9784 4305 4310 3370 3367 3365 9956 9783 9955 6327 6321 9409 6330 9407 9234 6336 9235 9062 7270 7276 930 923 9196 7928 9864 8011 5218 9788 5223 5220 4287 8937 4289 2425 1258 698 7082 5107 9713 5246 5252 9611 9024 8868 1114 1028 41 13 37 725 7927 380 631 9786 4301 9616 5232 4296 4162 5229 4298 5101 705 639 1125 8887 1139 1216 1019 1004 1137 1159 1163 1119 1217 1140 1123 19 1126 972 1152 1142 1007 752 1149 1127 1133 1229 1257 1131 1230 1225 1154 1124 1161 1141 1237 990 1112 1135 1009 1016 1165 1236 1164 1232 1138 1234 1259 1170 1221 967 970 1224 1222 1107 1167 1100 1218 1109 1215 9197 1052 1132 1223 1172 1239 1219 1235 1049 1166 936 1043 1169 1098 1047 1151 8818 7878 1020 994 1000 724 998 961 963 1001 993 846 840 843 835 931 922 929 848 1021 770 1040 797 826 823 849 988 841 1045 1110 720 1030 1026 1051 839 791 927 1231 1136 1175 1168 1054 992 871 921 736 859 1014 1017 933 1012 1099 966 968 946 771 778 959 1233 957 779 781 772 1173 695 950 856 954 854 852 850 858 805 1120 974 1155 960 948 867 873 780 932 876 947 1022 986 793 863 755 788 1029 861 844 711 718 836 1050 1048 694 685 1128 1153 6988 734 776 855 943 979 977 857 10075 2011 10247 10334 5 24 2953 9 1348 1345 2013 1981 945 1025 1027 810 1057 689 997 842 335 7917 942 1220 735 8876 400 727 726 8877 733 1042 982 981 10173 10001 8900 9485 9141 9313 8614 9040 984 1324 9038 8714 8748 78 828 8878 9042 9214 1260 1081 1204 1202 1276 731 8875 75 9036 7226 7229 7261 9237 7267 1256 1282 1279 1227 8710 8676 1144 1122 1106 1171 1103 406 1238 387 76 73 21 343 90 12 14 1336 80 10170 9826 9310 9482 8899 9215 7653 1096 7691 9213 8669 8664 8654 8636 8656 7650 1297 1300 1077 4312 4306 9679 9507 9335 9163 10195 10023 9851 8922 5243 9613 5237 8991 6159 9445 6165 707 6733 1242 1253 1288 636 627 1185 632 799 838 1010 777 756 763 765 769 774 1018 985 1023 807 801 798 750 851 853 812 753 975 6938 1275 1203 1080 1067 9730 6937 1074 1265 1076 1299 896 6710 6713 1209 1207 1200 1287 1091 1089 1082 1212 1180 1061 1293 1115 1188 4118 1094 8967 8898 9655 10171 9827 9139 9483 9999 9311 9247 7216 7222 1093 1084 1086 6695 9309 8965 9825 9137 10169 9481 9653 8896 9997 6747 5058 9073 9210 9387 10025 9337 9853 9165 8924 8066 9095 8993 8072 9509 9681 10197 7698 7732 9558 1312 616 5998 8634 794 670 767 1075 651 481 704 987 10 17 404 625 333 478 474 6041 7100 6169 709 454 483 1263 407 626 384 611 391 623 1129 1330 668 677 26 377 362 1335 360 748 528 684 603 693 5811 879 996 696 523 526 423 716 712 421 614 719 620 862 10246 2012 2014 10335 2 22 1347 2238 10074 2016 4 1982 374 443 519 721 436 429 743 746 8873 441 427 706 824 785 787 804 800 618 3893 484 411 819 821 795 5769 786 426 624 472 470 722 361 496 665 482 518 606 517 466 591 588 527 562 556 560 552 515 546 471 754 503 536 510 512 516 467 533 501 456 612 54 8638 8672 448 915 906 458 465 369 908 71 617 525 806 9647 9991 9303 8890 10163 9131 8959 9819 4833 8207 9065 8201 940 395 601 597 621 414 418 480 473 5742 5776 730 784 314 383 641 870 872 789 399 9034 8925 9508 9336 10024 9852 10196 9680 9164 8992 438 8070 9096 8065 7877 5773 437 316 398 9206 9731 7258 7252 9239 8189 8183 9069 9135 10167 8894 8963 9479 9995 9651 9307 9823 7240 7234 9243 702 8187 9070 8182 9559 3861 9413 6303 6309 5741 602 6729 52 488 604 6723 3891 827 3178 2956 2922 9902 409 728 9382 53 91 317 8872 6809 553 318 329 320 586 290 293 326 497 531 134 9032 323 311 803 324 463 486 452 8752 8788 708 8209 8889 8214 10160 9128 9300 9064 8956 433 5807 5755 5747 494 500 425 420 413 4824 5997 308 305 115 122 113 109 112 124 169 214 157 55 167 160 5745 5748 97 64 68 62 67 9245 7225 7231 7711 635 629 6280 6277 6275 9420 1058 1065 680 1321 661 31 372 6753 7749 9384 6748 9903 370 412 697 7827 7782 7787 7741 7738 7673 7635 386 7638 18 7668 379 7662 7648 3892 880 883 5793 691 866 868 5785 7776 331 337 396 249 202 98 127 95 58 61 8038 8931 9170 8043 9686 10030 9858 10202 9514 9342 8998 9102 642 645 649 7112 7107 9272 6181 6176 9442 6178 7719 7712 7725 7731 6285 9417 6291 9649 8192 8198 9305 9067 6715 6709 6720 6754 925 928 9241 7243 7249 732 729 8859 9988 9472 9644 9816 7260 7265 9238 6847 6836 9204 9273 9861 8030 6168 8036 9689 9443 9517 9173 8932 10033 7105 7099 9103 10205 9001 9345 6174 5363 6316 6311 6313 9412 5369 9585 5364 5362 9586 5367 4023 4055 4020 4017 3947 3913 9759 5234 9863 9519 10207 9347 8021 9003 7096 3902 9726 2928 9691 9760 4415 4420 4414 9785 3951 3979 3989 3944 3908 3941 3982 3906 4067 4303 3366 3372 4297 4027 3985 9275 8934 9175 2948 8027 9105 10035 7090 9757 4438 4441 9755 9753 9751 9578 4456 4447 2949 2955 4450 4423 4432 4429 5228 9615 3471 9933 16 4957 4995 4929 4919 5007 4922 4891 4884 4962 4960 4967 4925 4886 6696 8994 9854 9166 9510 9682 8927 9338 10198 10026 901 881 886 7631 1198 5780 5814 39 4846 4853 9728 3875 3867 4835 3888 4815 4820 4828 4898 5057 4800 5245 9612 5250 66 4829 327 382 1333 363 9885 5354 9587 5360 69 3868 9208 5744 1063 1066 368 5760 1116 1062 1294 1060 1291 1190 1069 1053 944 375 976 5775 1323 5798 371 7706 445 1306 6980 882 644 653 646 1318 903 656 5740 5758 5750 6284 6289 9418 402 1327 5756 3894 5813 9821 10165 9133 9993 9477 5801 8892 8961 6716 4871 99 1056 4831 4801 419 416 9729 449 205 212 568 542 566 937 1070 1305 152 154 145 158 6187 877 447 4808 749 3918 953 747 1003 829 802 837 554 833 455 548 687 690 830 703 7118 955 952 1038 142 136 179 563 561 558 710 87 587 51 582 417 608 342 340 590 593 477 475 825 792 319 415 495 570 544 450 583 522 520 4866 6298 6293 9416 5794 132 135 328 322 325 619 884 117 6295 2951 2921 918 1309 899 4834 4832 1068 4844 2944 48 683 5763 5746 7132 7126 10027 9339 8926 8063 9511 9167 9097 9855 10199 9267 8995 9683 8057 887 941 902 860 7242 7247 9242 315 1072 9068 8196 600 8191 7244 891 1303 938 93 286 295 297 274 282 277 280 834 389 6756 92 576 424 5797 5759 7622 1192 1199 8659 8671 8665 8652 596 573 8923 9487 1261 9659 9334 8863 8583 10194 9162 10022 10175 1273 9850 59 65 8990 63 9506 9678 575 338 557 541 534 532 1266 584 580 564 569 567 410 100 539 107 302 300 287 285 114 206 210 235 241 126 111 165 168 170 270 141 177 6772 271 267 57 161 137 5821 247 243 571 240 284 288 130 133 143 598 239 460 462 893 7921 8860 131 269 1269 307 301 8861 348 34 393 5827 6792 6774 303 299 895 878 4802 4836 233 8862 8562 699 1317 831 7736 7770 894 578 263 1267 108 102 550 8858 110 104 1130 1104 1102 7235 622 1035 1143 5808 4409 4404 4406 9762 3883 3899 5753 4823 2924 476 521 545 783 751 524 717 714 487 464 832 585 808 559 461 4807 5869 4881 5902 5900 5935 5897 5862 5947 5907 5864 514 148 259 607 529 294 140 589 187 199 278 197 190 574 275 203 175 172 181 224 296 106 103 309 226 281 469 457 547 178 232 119 492 453 188 6768 7716 7724 273 166 250 257 8817 283 163 260 321 164 537 228 530 151 231 549 162 227 262 183 201 189 204 245 7726 248 498 485 244 7729 339 577 7688 121 118 390 654 3900 3934 892 9556 10031 8930 9515 10203 6177 9101 6183 9271 8045 7108 9441 8039 7114 5778 9646 9990 9130 637 10162 7253 9302 8891 8205 9818 9474 9066 8200 9240 7251 7256 8958 6688 353 341 11 5762 3903 5849 9555 5353 9588 5358 3870 5836 5844 3889 3895 2940 7918 5817 7091 3864 3898 385 6719 6979 6681 3882 6685 6691 6705 1211 1285 1195 1214 9211 9171 700 15 8999 9859 27 3466 2923 9934 3469 3464 1315 42 9343 9687 8787 8781 8775 2942 89 6763 46 8768 6771 3928 6868 4879 4890 3923 9378 35 332 3884 397 6703 440 9075 8162 8156 7627 7636 7665 7630 7920 7624 408 6730 7669 7678 7686 1245 7687 7693 367 7125 7922 9098 8056 8061 7130 9268 6736 6738 6687 7217 6698 8618 8598 8631 8626 8616 9830 7621 7645 8560 8578 8593 10002 10174 9658 8580 8588 9143 8902 8595 8576 8589 9831 9315 8971 10003 1148 1146 9486 8903 9043 9142 9314 8970 6761 1213 1196 1284 5757 6784 373 6702 6848 6855 6867 6861 5795 6721 6801 6732 6712 5754 5743 5749 4867 4861 3920 3901 9727 4906 3912 4909 4822 4839 4873 3919 7215 9248 7220 6684 6700 352 354 7656 81 401 1329 5765 9383 6786 6789 9209 1177 1182 6708 1193 6680 6726 6683 6690 1197 6694 6798 6300 6294 5783 9415 6757 7767 5818 655 6765 9761 4411 4405 2925 6318 9411 6312 9129 10161 8210 9063 9645 8888 8957 8216 9301 9989 9473 9817 2945 4843 7764 32 8792 7814 8816 9030 6805 3862 3896 7744 208 211 405 74 366 7700 7703 6740 72 359 4851 47 84 86 7649 7643 7655 334 336 628 38 36 6808 6797 30 6770 8960 9648 8893 9820 9132 9304 9992 9476 10164 4817 5340 5335 9592 6777 740 742 7714 7802 9207 7805 330 7127 489 889 5806 1111 6734 7660 6154 9212 6725 7694 6718 6151 1055 9385 9822 9478 10166 8962 9306 2427 9692 3356 919 4161 4292 5100 10056 3228 3361 2430 9958 9618 10128 9884 8016 3358 9004 9520 864 8969 8633 6764 490 1085 1194 983 3222 995 9650 8895 9994 9134 6149 6751 6746 9448 782 6039 10208 9244 7233 7238 9176 9278 7080 7085 5796 10036 394 9348 9108 962 159 304 171 958 6722 991 1032 9513 9341 811 790 174 511 969 504 508 965 446 70 77 298 156 306 6741 138 144 660 678 180 182 120 8165 28 633 869 6042 4860 9386 681 4858 129 96 459 630 8169 392 9654 176 310 225 875 312 502 313 6728 1134 9998 874 9074 9138 8171 8164 8966 865 40 5752 594 814 816 949 6779 5761 10201 737 5803 479 7123 8048 613 9099 9557 9829 595 535 499 8621 538 6160 5831 6727 451 6286 5786 5779 8928 9857 7117 8054 6759 1156 1160 6791 207 6767 9269 9685 10029 8997 956 9169 6778 692 116 1005 79 1191 572 1158 1034 1037 123 125 1031 213 686 215 615 6785 186 222 351 347 88 85 344 82 4849 3917 6743 7701 7757 7750 7769 7763 364 7772 7658 7752 7681 7676 7674 7663 7807 7801 7734 5789 9368 8747 8741 8735 8728 7745 6796 6830 6760 6829 6823 9380 6810 5751 6775 8690 8703 8709 7707 8697 7754 388 442 434 6766 676 444 439 7777 671 431 50 1332 6302 9414 6307 6840 6887 6875 6842 6795 7762 9381 634 430 432 5782 6304 6813 6822 6814 6852 6865 7840 7832 6804 6816 6802 6860 6862 6837 7848 7812 9553 5887 5882 5874 3177 2920 1079 4859 5337 5852 5839 9554 4880 5883 9552 5889 5873 4841 4852 4804 745 1059 1064 5791 5799 3863 4821 3881 7262 5355 2950 4842 5838 4899 4810 4848 5877 4819 4816 5828 5344 9590 5816 5349 5837 5879 4904 5846 5884 6817 4877 4901 7683 4876 5841 4897 9763 4402 4396 4894 7780 4813 4847 4811 5890 5856 4805 4806 5870 5854 9589 5345 5351 7109 5830 701 5819 5871 5346 650 652 6819 679 4803 3916 378 376 3915 672 3877 6812 9936 3457 6846 2937 3455 647 643 648 659 663 5790 3460 7845 9205 3872 1314 3869 667 5872 5787 6835 4850 5825 403 1326 4814 5829 4855 5834 1319 1322 5859 1331 381 1334 25 4854 3465 349 3879 4809 4812 2938 1328 1325 3874 4857 3876 5784 2941 657 890 885 897 2936 3873 5832 900 1308 1310 1307 662 1313 1316 4400 4397 9764 4395 6815 6832 6811 2005 9900 3933 3927 4818 3921 1320 5876 4878 4912 3914 9246 7224 5387 468 9419 920 8600 7774 7808 8874 638 1178 1187 6824 6682 1006 1008 8180 5826 9071 6794 1002 6827 8174 422 5820 5381 9862 9106 7094 9002 9579 1296 20 5378 1078 9446 5396 9581 6163 6040 6158 355 1073 5227 2934 4413 768 815 6276 10034 9174 8935 9346 5390 809 6282 5372 8020 9518 9406 346 9690 9276 8025 7089 10206 813 9583 9274 6172 6167 9444 10032 10204 9860 8034 9344 9516 9104 5768 8933 9000 8029 610 5236 5238 9614 5241 491 911 761 766 764 3501 757 599 605 9923 9927 3083 3516 3077 9931 2966 3001 3115 9688 7098 7103 9172 9136 7640 4895 4896 4905 1264 4845 7620 9076 8155 8160 10000 8901 9312 8968 9484 9140 10172 9828 9656 4911 7121 7116 9270 493 8897 9652 4830 9824 9480 1105 1101 10168 8964 640 9072 3865 1162 9308 3871 8173 9996 8178 10200 1147 609 916 723 669 898 1311 9512 8996 9100 8929 8052 9340 673 675 666 971 9856 1108 1033 9657 8627 913 935 934 973 9440 10028 6185 964 1150 6190 9684 1044 1046 1097 9168 8047 1145 1121 1118 2943 4874 1024 2954 1157 847 2963 3127 3039 9750 3011 3492 3049 3474 741 744 739 5770 4825 904 907 1039 4838 1036 428 435 1174 682 1041 9901 1113 3931 773 775 9541 6047 3456 9935 3462 3926 658 999 2952 6982 5247 3890 4117 3860 4840 6192 365 6776 2939 345 350 6186 9439 5858 6834 7842 7784 1295 1298 888 3880 1095 4418 7773 4868 3885 3498 5781 5792 5800 2935 3042 3480 3007 3507 3045 2973 3483 2930 3004 3878 3080 9925 3087 5824 3510 3489 5823 5833 9929 4863 5845 3866 2969 5342 9591 5336 5788 1262 1272 7830 7788 155 6806 6803 5851 7795 7810 5764 664 5835 272 6799 917 4856 1244 688 738 5822 5855 9379 5868 5857 5875 7696 6769 905 7739 6762 6735 910 6773 9041 845 715 289 291 713 216 221 219 147 149 153 6692 7742 7704 7625 1184 6737 1186 6701 1181 7659 926 760 817 762 759 6693 822 796 820 9035 8745 8730 989 1011 818 8740 8732 8712 924 6781 6739 6686 758 914 909 912 939 1302 1304 1071 1301 7666 7705 6697 6854 7800 7792 7708 7755 7790 7740 7735 7747 579 1277 7628 7634 6724 1268 1274 1270 1241 1247 1283 234 238 7680 1289 242 7679 555 551 8808 7781 8800 7826 1255 7642 7709 505 7834 7718 7794 279 6699 1206 1201 7623 254 256 6689 7793 6833 7641 1252 1246 1250 1280 980 8694 7717 1286 7748 1249 1240 1254 1226 1281 1183 1243 1251 951 8770 1015 8780 8750 1013 7664 9039 581 9031 8813 8798 7813 1087 1092 1090 1292 9037 7661 7672 266 1189 1083 1088 8707 8702 8692 8674 7637 7675 978 7629 7632 592 509 506 507 261 268 7697 6800 6731 7743 6807 276 8785 8772 9033 7639 7671 1117 1290 7633 7677 223 200 7789 7751 7737 251 565 543 192 198 194 196 193 246 7702 8790 252 230 255 258 7713 7715 7847 7841 217 7746 1176 1179 7815 7791 7756 7699 7667 220 185 7710 2004 7753 209 513 7670 6978 6981 674 8596 7775 4892 292 7786 7759 7811 7721 7829 7833 7797 6857 6853 6849 7626 1271 5774 5771 5772 6711 8815 7831 7919 6714 1210 1205 1208 1228 1278 7835 7828 1248 6851 6758 6850 4893 8809 7652 7654 8857 8856 9922 8575 8570 8613 8608 8871 8727 8722 8689 8684 8716 8719 8742 8754 8758 10228 8157 8843 8013 8022 10059 8049 8175 8067 8202 8031 8184 8211 8166 10332 10333 7904 7903 2262 8704 9199 6964 6963 8193 8058 7902 8602 8605 2263 4144 4143 4142 9371 4062 4059 9027 6879 6882 6962 7822 9887 7819 5939 3119 3122 5942 8628 3202 3203 3204 8040 10231 8678 8681 5084 5083 8564 5082 8567 8590 6022 6023 6024 8651 5002 4999 9715 8666 2264 9475 8810 8803 8796 8794 8782 9543 8767 8761 540 8646 8643 8640 0
757.60/757.68
757.60/757.68 c Core has size 2979
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-3495864-1307809146/watcher-3495864-1307809146 -o /tmp/evaluation-result-3495864-1307809146/solver-3495864-1307809146 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495864-1307809146.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.99 3.23 3.24 5/189 19388
/proc/meminfo: memFree=30521720/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=12236 CPUtime=0 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 459 0 0 0 0 0 0 0 25 0 1 0 971145337 12529664 395 33554432000 4194304 4365125 140733835501456 18446744073709551615 215988592384 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 3059 396 253 42 0 207 0
[startup+0.0637001 s]
/proc/loadavg: 3.99 3.23 3.24 5/189 19388
/proc/meminfo: memFree=30521720/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=14372 CPUtime=0.05 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 1982 0 0 0 5 0 0 0 25 0 1 0 971145337 14716928 858 33554432000 4194304 4365125 140733835501456 18446744073709551615 4315695 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 3593 858 263 42 0 741 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14372
[startup+0.100693 s]
/proc/loadavg: 3.99 3.23 3.24 5/189 19388
/proc/meminfo: memFree=30521720/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=15264 CPUtime=0.09 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 2705 0 0 0 9 0 0 0 25 0 1 0 971145337 15630336 1045 33554432000 4194304 4365125 140733835501456 18446744073709551615 4257476 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 3816 1045 263 42 0 964 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15264
[startup+0.300657 s]
/proc/loadavg: 3.99 3.23 3.24 5/189 19388
/proc/meminfo: memFree=30521720/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=20536 CPUtime=0.29 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 7150 0 0 0 29 0 0 0 25 0 1 0 971145337 21028864 1967 33554432000 4194304 4365125 140733835501456 18446744073709551615 4244624 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 5134 1970 263 42 0 2282 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20536
[startup+0.700589 s]
/proc/loadavg: 3.99 3.23 3.24 5/189 19388
/proc/meminfo: memFree=30521720/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=37924 CPUtime=0.69 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 21550 0 0 0 67 2 0 0 25 0 1 0 971145337 38834176 4929 33554432000 4194304 4365125 140733835501456 18446744073709551615 4244624 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 9481 4929 263 42 0 6629 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37924
[startup+1.50045 s]
/proc/loadavg: 3.99 3.24 3.24 5/190 19389
/proc/meminfo: memFree=30482428/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=51060 CPUtime=1.49 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 35308 0 0 0 145 4 0 0 25 0 1 0 971145337 52285440 8866 33554432000 4194304 4365125 140733835501456 18446744073709551615 4244758 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 12765 8866 264 42 0 9913 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51060
[startup+3.10017 s]
/proc/loadavg: 3.99 3.24 3.24 5/190 19389
/proc/meminfo: memFree=30431960/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=124856 CPUtime=3.08 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 78422 0 0 0 301 7 0 0 25 0 1 0 971145337 127852544 21018 33554432000 4194304 4365125 140733835501456 18446744073709551615 4258485 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 31214 21018 264 42 0 28362 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 124856
[startup+6.30061 s]
/proc/loadavg: 3.99 3.25 3.25 5/190 19389
/proc/meminfo: memFree=30309600/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=249124 CPUtime=6.29 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 186848 0 0 0 611 18 0 0 25 0 1 0 971145337 255102976 38672 33554432000 4194304 4365125 140733835501456 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 62281 38672 264 42 0 59429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 249124
[startup+12.7005 s]
/proc/loadavg: 3.99 3.26 3.25 5/190 19389
/proc/meminfo: memFree=30290964/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=234276 CPUtime=12.68 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 238248 0 0 0 1245 23 0 0 25 0 1 0 971145337 239898624 48601 33554432000 4194304 4365125 140733835501456 18446744073709551615 4262107 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 58569 48601 264 42 0 55717 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 234276
[startup+25.5002 s]
/proc/loadavg: 3.99 3.30 3.26 5/190 19390
/proc/meminfo: memFree=30304852/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=330528 CPUtime=25.49 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 301796 0 0 0 2518 31 0 0 25 0 1 0 971145337 338460672 65599 33554432000 4194304 4365125 140733835501456 18446744073709551615 4306823 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 82632 65599 264 42 0 79780 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 330528
[startup+51.1008 s]
/proc/loadavg: 3.99 3.36 3.28 5/190 19390
/proc/meminfo: memFree=30275320/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=238372 CPUtime=51.09 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 401127 0 0 0 5065 44 0 0 25 0 1 0 971145337 244092928 54066 33554432000 4194304 4365125 140733835501456 18446744073709551615 4258224 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 59593 54066 264 42 0 56741 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 238372
[startup+102.307 s]
/proc/loadavg: 3.99 3.45 3.32 5/190 19392
/proc/meminfo: memFree=30127732/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=355436 CPUtime=102.29 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 587570 0 0 0 10164 65 0 0 25 0 1 0 971145337 363966464 67084 33554432000 4194304 4365125 140733835501456 18446744073709551615 4244654 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 88859 67084 264 42 0 86007 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 355436
[startup+162.3 s]
/proc/loadavg: 3.99 3.55 3.36 5/190 19393
/proc/meminfo: memFree=30035656/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=498256 CPUtime=162.29 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 1044615 0 0 0 16112 117 0 0 25 0 1 0 971145337 510214144 94928 33554432000 4194304 4365125 140733835501456 18446744073709551615 4272031 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 124564 94928 264 42 0 121712 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 498256
[startup+222.301 s]
/proc/loadavg: 3.99 3.63 3.39 5/190 19395
/proc/meminfo: memFree=29978908/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=621128 CPUtime=222.29 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 1485210 0 0 0 22061 168 0 0 25 0 1 0 971145337 636035072 110316 33554432000 4194304 4365125 140733835501456 18446744073709551615 4317013 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 155282 110316 264 42 0 152430 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 621128
[startup+282.3 s]
/proc/loadavg: 3.47 3.55 3.38 4/184 19421
/proc/meminfo: memFree=30442228/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=737860 CPUtime=282.29 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 1801675 0 0 0 28025 204 0 0 25 0 1 0 971145337 755568640 124965 33554432000 4194304 4365125 140733835501456 18446744073709551615 4306828 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 184465 124965 264 42 0 181613 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 737860
[startup+342.301 s]
/proc/loadavg: 3.23 3.47 3.36 4/184 19422
/proc/meminfo: memFree=30270560/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=492112 CPUtime=342.3 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 1930364 0 0 0 34008 222 0 0 25 0 1 0 971145337 503922688 112306 33554432000 4194304 4365125 140733835501456 18446744073709551615 4250097 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 123028 112306 264 42 0 120176 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 492112
[startup+402.3 s]
/proc/loadavg: 3.08 3.38 3.33 4/184 19424
/proc/meminfo: memFree=30180584/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=680516 CPUtime=402.3 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 2206512 0 0 0 39975 255 0 0 25 0 1 0 971145337 696848384 135918 33554432000 4194304 4365125 140733835501456 18446744073709551615 4244660 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 170129 135918 264 42 0 167277 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 680516
[startup+462.301 s]
/proc/loadavg: 3.11 3.32 3.32 4/184 19425
/proc/meminfo: memFree=30287656/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=467536 CPUtime=462.29 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 2494032 0 0 0 45941 288 0 0 25 0 1 0 971145337 478756864 109094 33554432000 4194304 4365125 140733835501456 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 116884 109094 264 42 0 114032 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 467536
[startup+522.3 s]
/proc/loadavg: 3.04 3.26 3.29 4/184 19427
/proc/meminfo: memFree=30273196/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=647752 CPUtime=522.3 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 2744672 0 0 0 51916 314 0 0 25 0 1 0 971145337 663298048 131678 33554432000 4194304 4365125 140733835501456 18446744073709551615 4306832 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 161938 131678 264 42 0 159086 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 647752
[startup+582.301 s]
/proc/loadavg: 3.01 3.21 3.27 4/184 19429
/proc/meminfo: memFree=30260620/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=473680 CPUtime=582.3 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3043148 0 0 0 57882 348 0 0 25 0 1 0 971145337 485048320 109866 33554432000 4194304 4365125 140733835501456 18446744073709551615 4248475 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 118420 109866 264 42 0 115568 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 473680
[startup+642.3 s]
/proc/loadavg: 3.00 3.17 3.25 4/184 19430
/proc/meminfo: memFree=30283236/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=471632 CPUtime=642.31 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3375580 0 0 0 63846 385 0 0 25 0 1 0 971145337 482951168 109610 33554432000 4194304 4365125 140733835501456 18446744073709551615 4262125 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 117908 109610 264 42 0 115056 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 471632
[startup+702.301 s]
/proc/loadavg: 3.00 3.14 3.23 4/184 19432
/proc/meminfo: memFree=30238544/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=492112 CPUtime=702.3 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3556798 0 0 0 69824 406 0 0 25 0 1 0 971145337 503922688 112180 33554432000 4194304 4365125 140733835501456 18446744073709551615 4258276 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 123028 112180 264 42 0 120176 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 492112
Solver just ended. Dumping a history of the last processes samples
[startup+716.7 s]
/proc/loadavg: 3.00 3.13 3.23 4/184 19432
/proc/meminfo: memFree=30286152/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=469584 CPUtime=716.7 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3609387 0 0 0 71258 412 0 0 25 0 1 0 971145337 480854016 109353 33554432000 4194304 4365125 140733835501456 18446744073709551615 4258485 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 117396 109353 264 42 0 114544 0
Current children cumulated CPU time (s) 716.7
Current children cumulated vsize (KiB) 469584
[startup+742.301 s]
/proc/loadavg: 3.00 3.12 3.22 4/184 19433
/proc/meminfo: memFree=30231060/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=499964 CPUtime=742.3 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3652009 0 0 0 73814 416 0 0 25 0 1 0 971145337 511963136 115063 33554432000 4194304 4365125 140733835501456 18446744073709551615 4257412 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 124991 115063 264 42 0 122139 0
Current children cumulated CPU time (s) 742.3
Current children cumulated vsize (KiB) 499964
[startup+748.701 s]
/proc/loadavg: 3.00 3.12 3.22 4/184 19433
/proc/meminfo: memFree=30256232/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=508156 CPUtime=748.7 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3665341 0 0 0 74453 417 0 0 25 0 1 0 971145337 520351744 116091 33554432000 4194304 4365125 140733835501456 18446744073709551615 4250097 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 127039 116091 264 42 0 124187 0
Current children cumulated CPU time (s) 748.7
Current children cumulated vsize (KiB) 508156
[startup+751.901 s]
/proc/loadavg: 3.00 3.11 3.22 4/184 19433
/proc/meminfo: memFree=30275576/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=508156 CPUtime=751.9 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3665341 0 0 0 74773 417 0 0 25 0 1 0 971145337 520351744 116091 33554432000 4194304 4365125 140733835501456 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 127039 116091 264 42 0 124187 0
Current children cumulated CPU time (s) 751.9
Current children cumulated vsize (KiB) 508156
[startup+755.101 s]
/proc/loadavg: 3.00 3.11 3.22 4/184 19433
/proc/meminfo: memFree=30275692/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=508156 CPUtime=755.1 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3665341 0 0 0 75093 417 0 0 25 0 1 0 971145337 520351744 116091 33554432000 4194304 4365125 140733835501456 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 127039 116091 264 42 0 124187 0
Current children cumulated CPU time (s) 755.1
Current children cumulated vsize (KiB) 508156
[startup+756.7 s]
/proc/loadavg: 3.00 3.11 3.22 4/184 19433
/proc/meminfo: memFree=30205384/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=508156 CPUtime=756.7 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3665341 0 0 0 75253 417 0 0 25 0 1 0 971145337 520351744 116091 33554432000 4194304 4365125 140733835501456 18446744073709551615 4247624 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 127039 116091 264 42 0 124187 0
Current children cumulated CPU time (s) 756.7
Current children cumulated vsize (KiB) 508156
[startup+757.1 s]
/proc/loadavg: 3.00 3.11 3.22 4/184 19433
/proc/meminfo: memFree=30205384/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=508156 CPUtime=757.1 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3665341 0 0 0 75293 417 0 0 25 0 1 0 971145337 520351744 116091 33554432000 4194304 4365125 140733835501456 18446744073709551615 4250170 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 127039 116091 264 42 0 124187 0
Current children cumulated CPU time (s) 757.1
Current children cumulated vsize (KiB) 508156
[startup+757.5 s]
/proc/loadavg: 3.00 3.11 3.22 4/184 19433
/proc/meminfo: memFree=30205384/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=508156 CPUtime=757.5 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3665341 0 0 0 75333 417 0 0 25 0 1 0 971145337 520351744 116091 33554432000 4194304 4365125 140733835501456 18446744073709551615 4267929 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 127039 116091 264 42 0 124187 0
Current children cumulated CPU time (s) 757.5
Current children cumulated vsize (KiB) 508156
[startup+757.601 s]
/proc/loadavg: 3.00 3.11 3.22 4/184 19433
/proc/meminfo: memFree=30205384/32950940 swapFree=67074964/67111528
[pid=19388] ppid=19386 vsize=508156 CPUtime=757.6 cores=5,7
/proc/19388/stat : 19388 (MoUsSaka) R 19386 19388 17737 0 -1 4202496 3665341 0 0 0 75343 417 0 0 25 0 1 0 971145337 520351744 116091 33554432000 4194304 4365125 140733835501456 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19388/statm: 127039 116091 264 42 0 124187 0
Current children cumulated CPU time (s) 757.6
Current children cumulated vsize (KiB) 508156
Child status: 20
Real time (s): 757.7
CPU time (s): 757.711
CPU user time (s): 753.515
CPU system time (s): 4.19536
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 993844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 753.515
system time used= 4.19536
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3665346
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= 10
involuntary context switches= 1078
runsolver used 1.24981 second user time and 2.86056 second system time
The end
Begin job on node117 at 2011-06-11 18:19:06
IDJOB=3495864
IDBENCH=89602
IDSOLVER=1989
FILE ID=node117/3495864-1307809146
RUNJOBID= node117-1307808863-19136
PBS_JOBID= 13551060
Free space on /tmp= 74020 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/bmc-default/longmult7.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495864-1307809146/watcher-3495864-1307809146 -o /tmp/evaluation-result-3495864-1307809146/solver-3495864-1307809146 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495864-1307809146.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= d1b0741f05eb80f451647fd616cd3c51
RANDOM SEED=457641598
node117.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.849
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.69
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.849
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.849
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.849
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.849
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.75
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.849
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.74
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.849
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.75
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.849
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 : 5267.44
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950940 kB
MemFree: 30522140 kB
Buffers: 167396 kB
Cached: 706844 kB
SwapCached: 6164 kB
Active: 1721120 kB
Inactive: 553840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950940 kB
LowFree: 30522140 kB
SwapTotal: 67111528 kB
SwapFree: 67074964 kB
Dirty: 464 kB
Writeback: 0 kB
AnonPages: 1397436 kB
Mapped: 14512 kB
Slab: 85272 kB
PageTables: 7892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586996 kB
Committed_AS: 1980720 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= 74020 MiB
End job on node117 at 2011-06-11 18:31:43