Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.4.8 | ? (TO) | 131 | 1800.12 | 1800.13 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_4.opb |
MD5SUM | b02c0aa46abe377e9678cb0b7b4280ae |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 57 |
Best CPU time to get the best result obtained on this benchmark | 1798.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 72 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 51 |
Number of terms in the objective function | 1000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31592 |
Sum of products size (including duplicates) | 63184 |
Number of different products | 31592 |
Sum of products size | 63184 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.59/0.68 o 999 0.69/0.71 o 998 0.69/0.75 o 997 0.69/0.78 o 996 0.79/0.81 o 995 0.79/0.84 o 994 0.79/0.88 o 993 0.89/0.91 o 992 0.89/0.94 o 991 0.89/0.97 o 990 0.89/1.00 o 989 1.00/1.04 o 988 1.00/1.07 o 987 1.00/1.10 o 986 1.11/1.13 o 985 1.11/1.17 o 984 1.19/1.20 o 983 1.19/1.23 o 982 1.19/1.26 o 981 1.29/1.30 o 980 1.29/1.33 o 979 1.29/1.36 o 978 1.29/1.39 o 977 1.39/1.43 o 976 1.39/1.46 o 975 1.39/1.49 o 974 1.49/1.52 o 973 1.49/1.56 o 972 1.49/1.59 o 971 1.59/1.62 o 970 1.59/1.66 o 969 1.59/1.69 o 968 1.69/1.72 o 967 1.69/1.75 o 966 1.69/1.79 o 965 1.79/1.82 o 964 1.79/1.85 o 963 1.79/1.88 o 962 1.89/1.92 o 961 1.89/1.95 o 960 1.89/1.98 o 959 1.99/2.02 o 958 1.99/2.05 o 957 1.99/2.08 o 956 2.10/2.11 o 955 2.10/2.15 o 954 2.10/2.18 o 953 2.21/2.21 o 952 2.21/2.25 o 951 2.21/2.28 o 950 2.29/2.31 o 949 2.29/2.35 o 948 2.29/2.38 o 947 2.39/2.41 o 946 2.39/2.44 o 945 2.39/2.48 o 944 2.49/2.51 o 943 2.49/2.54 o 942 2.49/2.58 o 941 2.59/2.61 o 940 2.59/2.64 o 939 2.59/2.68 o 938 2.69/2.71 o 937 2.69/2.74 o 936 2.69/2.78 o 935 2.79/2.81 o 934 2.79/2.84 o 933 2.79/2.88 o 932 2.89/2.91 o 931 2.89/2.94 o 930 2.89/2.98 o 929 2.99/3.01 o 928 2.99/3.04 o 927 2.99/3.08 o 926 3.09/3.11 o 925 3.09/3.14 o 924 3.09/3.18 o 923 3.09/3.21 o 922 3.20/3.24 o 921 3.20/3.28 o 920 3.20/3.31 o 919 3.31/3.34 o 918 3.31/3.38 o 917 3.39/3.41 o 916 3.39/3.45 o 915 3.39/3.48 o 914 3.49/3.51 o 913 3.49/3.55 o 912 3.49/3.58 o 911 3.59/3.61 o 910 3.59/3.65 o 909 3.59/3.68 o 908 3.69/3.72 o 907 3.69/3.75 o 906 3.69/3.78 o 905 3.79/3.82 o 904 3.79/3.85 o 903 3.79/3.89 o 902 3.89/3.92 o 901 3.89/3.95 o 900 3.89/3.99 o 899 3.99/4.02 o 898 3.99/4.06 o 897 3.99/4.09 o 896 4.09/4.12 o 895 4.09/4.16 o 894 4.09/4.19 o 893 4.19/4.23 o 892 4.19/4.26 o 891 4.69/4.74 o 890 5.29/5.39 o 889 10.79/10.91 o 888 32.89/32.92 o 887 33.29/33.38 o 886 33.79/33.83 o 885 34.69/34.80 o 884 35.20/35.29 o 883 35.79/35.85 o 882 36.69/36.72 o 881 37.19/37.30 o 880 38.29/38.33 o 879 39.19/39.23 o 878 41.59/41.62 o 877 42.09/42.16 o 876 42.79/42.90 o 875 44.09/44.11 o 874 45.89/45.91 o 873 47.69/47.71 o 872 48.19/48.28 o 871 48.79/48.83 o 870 49.29/49.38 o 869 50.19/50.27 o 868 51.49/51.55 o 867 52.89/52.92 o 866 53.39/53.44 o 865 53.91/53.97 o 864 54.69/54.73 o 863 55.19/55.28 o 862 56.11/56.13 o 861 56.89/56.91 o 860 57.79/57.83 o 859 58.69/58.76 o 858 59.79/59.84 o 857 61.99/62.05 o 856 62.99/63.02 o 855 63.59/63.61 o 854 65.29/65.35 o 853 68.09/68.19 o 852 68.69/68.78 o 851 69.30/69.37 o 850 69.89/69.95 o 849 116.19/116.20 o 848 118.49/118.59 o 847 121.09/121.17 o 846 122.49/122.51 o 845 123.09/123.19 o 844 124.09/124.11 o 843 124.99/125.06 o 842 125.69/125.72 o 841 127.69/127.71 o 840 128.39/128.45 o 839 128.99/129.07 o 838 151.09/151.12 o 837 153.79/153.84 o 836 165.79/165.87 o 835 166.59/166.61 o 834 167.29/167.38 o 833 167.89/167.92 o 832 168.49/168.55 o 831 168.99/169.09 o 830 192.50/192.56 o 829 193.09/193.16 o 828 193.69/193.79 o 827 194.19/194.27 o 826 194.89/194.90 o 825 195.59/195.69 o 824 196.49/196.50 o 823 197.89/198.01 o 822 199.79/199.85 o 821 206.09/206.17 o 820 258.85/258.97 o 819 292.26/292.37 o 818 294.26/294.31 o 817 325.16/325.29 o 816 325.86/325.97 o 815 326.46/326.58 o 814 327.06/327.13 o 813 327.86/327.93 o 812 328.46/328.58 o 811 329.36/329.43 o 810 329.97/330.02 o 809 330.86/330.91 o 808 331.26/331.33 o 807 331.86/331.96 o 806 332.76/332.81 o 805 335.96/336.00 o 804 341.66/341.78 o 803 342.56/342.63 o 802 344.66/344.74 o 801 346.26/346.31 o 800 346.96/347.01 o 799 347.96/348.04 o 798 356.96/357.01 o 797 358.06/358.11 o 796 358.57/358.66 o 795 359.56/359.64 o 794 386.86/386.95 o 793 387.86/387.91 o 792 388.56/388.62 o 791 390.86/390.94 o 790 391.66/391.74 o 789 409.26/409.30 o 788 410.06/410.13 o 787 410.46/410.55 o 786 411.26/411.34 o 785 411.86/411.99 o 784 412.76/412.83 o 783 413.66/413.79 o 782 414.07/414.17 o 781 414.87/414.92 o 780 415.78/415.84 o 779 416.37/416.48 o 778 417.27/417.36 o 777 417.87/418.01 o 776 419.77/419.86 o 775 421.17/421.22 o 774 422.06/422.17 o 773 422.56/422.66 o 772 423.48/423.56 o 771 423.87/423.99 o 770 424.58/424.68 o 769 424.97/425.08 o 768 426.47/426.55 o 767 427.07/427.19 o 766 428.87/428.95 o 765 438.88/438.99 o 764 439.37/439.49 o 763 440.07/440.18 o 762 446.07/446.15 o 761 447.27/447.35 o 760 448.56/448.68 o 759 460.47/460.50 o 758 461.17/461.21 o 757 461.77/461.91 o 756 462.57/462.63 o 755 464.66/464.78 o 754 474.66/474.78 o 753 475.26/475.34 o 752 496.67/496.78 o 751 497.37/497.45 o 750 497.97/498.04 o 749 498.67/498.73 o 748 498.97/499.09 o 747 499.67/499.79 o 746 500.27/500.39 o 745 501.07/501.14 o 744 501.67/501.73 o 743 502.07/502.11 o 742 503.07/503.18 o 741 511.27/511.30 o 740 520.47/520.58 o 739 521.77/521.83 o 738 522.97/523.08 o 737 524.47/524.60 o 736 525.57/525.61 o 735 526.37/526.47 o 734 527.17/527.23 o 733 527.87/527.94 o 732 528.57/528.68 o 731 530.07/530.20 o 730 530.87/530.90 o 729 531.57/531.64 o 728 532.27/532.34 o 727 532.97/533.00 o 726 533.57/533.68 o 725 534.67/534.77 o 724 535.37/535.42 o 723 535.77/535.80 o 722 536.67/536.73 o 721 537.67/537.79 o 720 539.37/539.49 o 719 540.17/540.24 o 718 541.37/541.42 o 717 542.07/542.19 o 716 542.87/542.96 o 715 543.87/543.98 o 714 544.37/544.46 o 713 545.47/545.61 o 712 546.27/546.33 o 711 546.97/547.08 o 710 547.57/547.67 o 709 548.57/548.69 o 708 549.47/549.50 o 707 550.27/550.38 o 706 550.87/551.01 o 705 551.67/551.79 o 704 552.37/552.42 o 703 553.07/553.20 o 702 553.77/553.83 o 701 554.47/554.58 o 700 555.27/555.32 o 699 555.77/555.80 o 698 556.87/556.98 o 697 557.77/557.85 o 696 558.27/558.39 o 695 559.17/559.29 o 694 560.37/560.47 o 693 561.27/561.31 o 692 561.77/561.82 o 691 562.87/562.93 o 690 575.07/575.19 o 689 575.77/575.80 o 688 576.67/576.71 o 687 577.48/577.53 o 686 577.97/578.09 o 685 578.37/578.47 o 684 579.16/579.20 o 683 579.68/579.73 o 682 580.06/580.15 o 681 580.46/580.53 o 680 581.56/581.67 o 679 582.17/582.27 o 678 582.56/582.69 o 677 583.46/583.53 o 676 583.86/583.92 o 675 584.86/584.94 o 674 585.26/585.32 o 673 585.96/586.04 o 672 586.36/586.46 o 671 587.56/587.60 o 670 588.06/588.18 o 669 608.67/608.76 o 668 609.17/609.24 o 667 609.87/609.99 o 666 610.27/610.38 o 665 610.97/611.04 o 664 611.37/611.45 o 663 612.16/612.20 o 662 612.46/612.60 o 661 613.16/613.25 o 660 613.57/613.65 o 659 614.57/614.66 o 658 615.07/615.13 o 657 615.67/615.72 o 656 616.47/616.52 o 655 617.57/617.60 o 654 620.67/620.73 o 653 654.97/655.02 o 652 656.37/656.46 o 651 660.47/660.53 o 650 662.57/662.64 o 649 694.67/694.73 o 648 695.67/695.72 o 647 697.57/697.64 o 646 698.37/698.48 o 645 700.07/700.17 o 644 700.77/700.81 o 643 701.47/701.52 o 642 702.27/702.38 o 641 703.57/703.66 o 640 704.87/704.93 o 639 705.67/705.70 o 638 706.07/706.19 o 637 707.07/707.14 o 636 708.07/708.11 o 635 708.77/708.88 o 634 709.27/709.36 o 633 710.17/710.28 o 632 711.27/711.36 o 631 712.67/712.75 o 630 713.57/713.64 o 629 714.47/714.53 o 628 716.47/716.57 o 627 727.09/727.18 o 626 728.87/728.90 o 625 735.57/735.61 o 624 736.57/736.68 o 623 737.47/737.56 o 622 738.57/738.62 o 621 740.77/740.82 o 620 741.77/741.86 o 619 742.27/742.31 o 618 743.47/743.55 o 617 744.27/744.38 o 616 745.37/745.49 o 615 745.97/746.00 o 614 746.97/747.02 o 613 747.37/747.44 o 612 748.37/748.48 o 611 748.87/748.99 o 610 749.37/749.43 o 609 750.57/750.64 o 608 751.57/751.64 o 607 751.97/752.08 o 606 753.48/753.53 o 605 754.47/754.54 o 604 754.96/755.00 o 603 755.57/755.64 o 602 756.78/756.83 o 601 757.16/757.28 o 600 757.66/757.71 o 599 758.66/758.79 o 598 759.76/759.80 o 597 760.26/760.35 o 596 760.76/760.81 o 595 761.87/761.91 o 594 762.28/762.38 o 593 763.38/763.42 o 592 763.96/764.01 o 591 764.37/764.46 o 590 764.76/764.89 o 589 765.96/766.01 o 588 766.97/767.08 o 587 767.78/767.85 o 586 769.17/769.21 o 585 773.07/773.15 o 584 774.47/774.55 o 583 775.87/775.94 o 582 777.26/777.33 o 581 778.47/778.58 o 580 778.97/779.03 o 579 780.07/780.13 o 578 780.77/780.81 o 577 781.57/781.65 o 576 782.17/782.27 o 575 783.47/783.57 o 574 783.97/784.00 o 573 785.17/785.21 o 572 785.97/786.03 o 571 786.37/786.47 o 570 787.67/787.74 o 569 788.07/788.18 o 568 789.27/789.37 o 567 790.07/790.17 o 566 790.57/790.62 o 565 791.77/791.89 o 564 792.27/792.35 o 563 793.47/793.55 o 562 793.87/793.95 o 561 798.87/798.91 o 560 801.07/801.15 o 559 805.47/805.50 o 558 824.47/824.54 o 557 825.57/825.60 o 556 825.87/826.01 o 555 827.27/827.38 o 554 827.77/827.87 o 553 828.87/828.92 o 552 829.38/829.46 o 551 837.27/837.33 o 550 864.37/864.51 o 549 864.97/865.06 o 548 893.77/893.88 o 547 894.57/894.61 o 546 898.37/898.46 o 545 901.07/901.18 o 544 902.27/902.38 o 543 903.27/903.37 o 542 904.27/904.36 o 541 905.67/905.76 o 540 906.87/906.96 o 539 907.67/907.71 o 538 908.27/908.37 o 537 909.07/909.14 o 536 910.87/910.92 o 535 912.67/912.73 o 534 913.17/913.23 o 533 913.87/913.94 o 532 914.47/914.59 o 531 914.97/915.00 o 530 915.87/915.91 o 529 917.47/917.58 o 528 917.97/918.08 o 527 918.77/918.82 o 526 919.37/919.46 o 525 920.27/920.35 o 524 921.37/921.40 o 523 922.57/922.65 o 522 923.67/923.71 o 521 925.27/925.39 o 520 925.97/926.10 o 519 926.67/926.75 o 518 933.67/933.72 o 517 956.99/957.08 o 516 966.57/966.62 o 515 967.99/968.09 o 514 973.87/973.97 o 513 974.67/974.79 o 512 976.47/976.56 o 511 978.27/978.36 o 510 980.09/980.15 o 509 981.67/981.74 o 508 982.07/982.20 o 507 982.57/982.65 o 506 982.97/983.09 o 505 983.57/983.64 o 504 985.27/985.39 o 503 986.87/986.99 o 502 987.37/987.43 o 501 987.79/987.86 o 500 988.17/988.27 o 499 988.67/988.73 o 498 990.47/990.51 o 497 991.97/992.10 o 496 992.47/992.53 o 495 992.87/992.96 o 494 993.29/993.38 o 493 993.77/993.80 o 492 995.57/995.61 o 491 996.97/997.09 o 490 997.47/997.59 o 489 997.97/998.04 o 488 998.37/998.46 o 487 998.79/998.89 o 486 1000.37/1000.49 o 485 1001.07/1001.18 o 484 1002.57/1002.69 o 483 1010.07/1010.11 o 482 1012.17/1012.23 o 481 1012.57/1012.64 o 480 1012.98/1013.04 o 479 1013.37/1013.48 o 478 1013.97/1014.02 o 477 1014.77/1014.82 o 476 1017.07/1017.13 o 475 1017.49/1017.58 o 474 1017.87/1017.99 o 473 1018.37/1018.40 o 472 1018.77/1018.84 o 471 1019.37/1019.42 o 470 1020.17/1020.25 o 469 1021.78/1021.85 o 468 1023.57/1023.62 o 467 1024.47/1024.51 o 466 1025.47/1025.54 o 465 1025.97/1026.09 o 464 1026.77/1026.89 o 463 1027.28/1027.33 o 462 1027.77/1027.84 o 461 1029.37/1029.45 o 460 1029.97/1030.01 o 459 1030.87/1030.91 o 458 1031.57/1031.66 o 457 1033.27/1033.37 o 456 1033.99/1034.09 o 455 1036.27/1036.37 o 454 1036.87/1036.91 o 453 1037.57/1037.68 o 452 1038.39/1038.44 o 451 1038.87/1038.93 o 450 1039.49/1039.53 o 449 1041.07/1041.19 o 448 1042.27/1042.34 o 447 1042.97/1043.09 o 446 1043.67/1043.73 o 445 1044.07/1044.16 o 444 1044.57/1044.64 o 443 1044.99/1045.06 o 442 1045.57/1045.61 o 441 1047.97/1048.01 o 440 1048.47/1048.54 o 439 1049.27/1049.37 o 438 1049.97/1050.09 o 437 1050.49/1050.53 o 436 1050.97/1051.09 o 435 1053.47/1053.52 o 434 1053.87/1053.95 o 433 1054.37/1054.49 o 432 1055.27/1055.35 o 431 1055.77/1055.89 o 430 1056.27/1056.33 o 429 1056.67/1056.77 o 428 1057.27/1057.36 o 427 1059.57/1059.60 o 426 1061.27/1061.37 o 425 1063.07/1063.10 o 424 1063.47/1063.55 o 423 1064.17/1064.23 o 422 1064.68/1064.81 o 421 1073.27/1073.38 o 420 1091.77/1091.85 o 419 1103.37/1103.44 o 418 1105.17/1105.29 o 417 1105.87/1105.93 o 416 1107.69/1107.72 o 415 1108.57/1108.61 o 414 1109.47/1109.56 o 413 1110.77/1110.83 o 412 1111.77/1111.81 o 411 1112.17/1112.28 o 410 1112.67/1112.76 o 409 1114.37/1114.47 o 408 1114.97/1115.05 o 407 1115.57/1115.70 o 406 1116.77/1116.80 o 405 1117.77/1117.80 o 404 1119.37/1119.43 o 403 1120.77/1120.85 o 402 1121.17/1121.28 o 401 1121.77/1121.87 o 400 1122.17/1122.27 o 399 1122.67/1122.73 o 398 1123.87/1123.97 o 397 1124.57/1124.62 o 396 1125.07/1125.17 o 395 1126.67/1126.79 o 394 1127.17/1127.24 o 393 1127.57/1127.67 o 392 1128.17/1128.22 o 391 1128.48/1128.60 o 390 1129.77/1129.81 o 389 1130.37/1130.46 o 388 1130.79/1130.85 o 387 1131.37/1131.43 o 386 1133.07/1133.15 o 385 1135.97/1136.05 o 384 1137.28/1137.37 o 383 1138.37/1138.49 o 382 1139.47/1139.61 o 381 1140.07/1140.19 o 380 1142.07/1142.19 o 379 1142.57/1142.61 o 378 1143.17/1143.23 o 377 1143.99/1144.02 o 376 1145.17/1145.27 o 375 1145.57/1145.69 o 374 1145.97/1146.09 o 373 1146.37/1146.49 o 372 1146.97/1147.02 o 371 1147.37/1147.41 o 370 1149.49/1149.52 o 369 1150.17/1150.21 o 368 1150.77/1150.83 o 367 1151.17/1151.22 o 366 1151.47/1151.60 o 365 1151.87/1151.97 o 364 1152.27/1152.33 o 363 1152.79/1152.85 o 362 1153.57/1153.60 o 361 1157.47/1157.56 o 360 1158.17/1158.25 o 359 1160.67/1160.70 o 358 1168.87/1168.98 o 357 1170.77/1170.80 o 356 1173.17/1173.22 o 355 1181.67/1181.76 o 354 1183.37/1183.46 o 353 1185.17/1185.26 o 352 1185.57/1185.66 o 351 1185.97/1186.07 o 350 1186.37/1186.46 o 349 1188.17/1188.25 o 348 1188.57/1188.64 o 347 1188.97/1189.03 o 346 1190.47/1190.51 o 345 1190.87/1190.94 o 344 1191.17/1191.31 o 343 1191.67/1191.71 o 342 1191.97/1192.09 o 341 1193.77/1193.86 o 340 1200.87/1200.93 o 339 1202.67/1202.71 o 338 1207.47/1207.53 o 337 1207.97/1208.00 o 336 1208.67/1208.74 o 335 1210.27/1210.38 o 334 1210.67/1210.79 o 333 1211.09/1211.16 o 332 1211.47/1211.52 o 331 1211.87/1211.96 o 330 1212.27/1212.32 o 329 1212.77/1212.81 o 328 1213.47/1213.58 o 327 1214.57/1214.62 o 326 1216.17/1216.24 o 325 1216.59/1216.66 o 324 1217.07/1217.11 o 323 1217.87/1217.99 o 322 1218.27/1218.36 o 321 1218.57/1218.70 o 320 1218.97/1219.05 o 319 1219.97/1220.03 o 318 1221.27/1221.36 o 317 1222.77/1222.81 o 316 1223.08/1223.16 o 315 1223.47/1223.52 o 314 1223.77/1223.89 o 313 1224.17/1224.23 o 312 1224.47/1224.57 o 311 1225.07/1225.11 o 310 1226.17/1226.24 o 309 1227.87/1228.00 o 308 1228.27/1228.31 o 307 1228.77/1228.82 o 306 1229.27/1229.39 o 305 1229.87/1229.90 o 304 1230.17/1230.25 o 303 1231.37/1231.45 o 302 1231.99/1232.06 o 301 1233.87/1233.96 o 300 1234.97/1235.04 o 299 1235.37/1235.41 o 298 1235.67/1235.79 o 297 1236.07/1236.17 o 296 1236.97/1237.09 o 295 1237.49/1237.57 o 294 1237.97/1238.05 o 293 1238.67/1238.77 o 292 1240.97/1241.09 o 291 1241.57/1241.67 o 290 1242.17/1242.22 o 289 1242.67/1242.75 o 288 1243.17/1243.26 o 287 1244.17/1244.20 o 286 1244.67/1244.79 o 285 1245.57/1245.60 o 284 1246.87/1246.91 o 283 1251.17/1251.25 o 282 1251.79/1251.87 o 281 1252.77/1252.89 o 280 1254.17/1254.27 o 279 1255.17/1255.26 o 278 1256.77/1256.83 o 277 1257.47/1257.50 o 276 1261.69/1261.78 o 275 1262.97/1263.02 o 274 1264.17/1264.26 o 273 1264.99/1265.06 o 272 1265.87/1265.95 o 271 1267.08/1267.13 o 270 1268.47/1268.59 o 269 1269.39/1269.44 o 268 1270.49/1270.58 o 267 1272.47/1272.51 o 266 1273.57/1273.65 o 265 1278.19/1278.23 o 264 1279.57/1279.62 o 263 1281.27/1281.39 o 262 1282.48/1282.52 o 261 1284.87/1284.93 o 260 1287.17/1287.22 o 259 1288.37/1288.42 o 258 1289.27/1289.35 o 257 1291.07/1291.16 o 256 1292.27/1292.40 o 255 1293.37/1293.48 o 254 1294.47/1294.52 o 253 1298.98/1299.04 o 252 1300.27/1300.35 o 251 1302.97/1303.09 o 250 1304.37/1304.51 o 249 1305.58/1305.69 o 248 1306.79/1306.88 o 247 1308.37/1308.41 o 246 1309.57/1309.68 o 245 1311.77/1311.84 o 244 1317.37/1317.40 o 243 1318.78/1318.87 o 242 1320.17/1320.24 o 241 1321.37/1321.46 o 240 1322.67/1322.74 o 239 1323.97/1324.01 o 238 1325.27/1325.35 o 237 1326.87/1326.99 o 236 1328.37/1328.43 o 235 1331.67/1331.79 o 234 1334.57/1334.67 o 233 1345.57/1345.60 o 232 1347.07/1347.20 o 231 1349.37/1349.49 o 230 1351.37/1351.49 o 229 1354.47/1354.55 o 228 1358.97/1359.05 o 227 1366.19/1366.27 o 226 1368.07/1368.14 o 225 1371.77/1371.82 o 224 1375.57/1375.61 o 223 1377.27/1377.36 o 222 1378.87/1378.93 o 221 1380.67/1380.77 o 220 1382.37/1382.47 o 219 1384.17/1384.26 o 218 1387.67/1387.71 o 217 1389.97/1390.05 o 216 1392.17/1392.27 o 215 1396.47/1396.54 o 214 1401.87/1401.96 o 213 1405.87/1405.95 o 212 1408.77/1408.83 o 211 1411.67/1411.79 o 210 1413.68/1413.75 o 209 1415.69/1415.71 o 208 1417.57/1417.64 o 207 1419.98/1420.03 o 206 1423.28/1423.32 o 205 1425.37/1425.49 o 204 1428.57/1428.66 o 203 1430.67/1430.71 o 202 1432.67/1432.78 o 201 1434.77/1434.83 o 200 1438.07/1438.18 o 199 1440.27/1440.34 o 198 1442.67/1442.77 o 197 1445.87/1445.99 o 196 1448.17/1448.29 o 195 1450.47/1450.58 o 194 1452.77/1452.84 o 193 1455.07/1455.14 o 192 1458.48/1458.58 o 191 1461.37/1461.44 o 190 1464.27/1464.30 o 189 1467.67/1467.71 o 188 1470.07/1470.15 o 187 1472.47/1472.56 o 186 1475.27/1475.32 o 185 1477.77/1477.89 o 184 1481.47/1481.60 o 183 1484.17/1484.28 o 182 1487.37/1487.42 o 181 1490.49/1490.55 o 180 1493.57/1493.61 o 179 1496.27/1496.31 o 178 1498.87/1498.95 o 177 1501.49/1501.56 o 176 1505.37/1505.41 o 175 1508.17/1508.29 o 174 1510.97/1511.07 o 173 1514.27/1514.31 o 172 1517.57/1517.68 o 171 1520.37/1520.50 o 170 1523.28/1523.38 o 169 1526.17/1526.25 o 168 1529.08/1529.12 o 167 1533.07/1533.18 o 166 1537.88/1537.90 o 165 1541.18/1541.23 o 164 1544.58/1544.62 o 163 1547.98/1548.07 o 162 1551.08/1551.18 o 161 1561.08/1561.14 o 160 1564.98/1565.05 o 159 1569.98/1570.01 o 158 1573.88/1573.91 o 157 1577.08/1577.15 o 156 1582.18/1582.20 o 155 1585.48/1585.54 o 154 1589.28/1589.35 o 153 1595.58/1595.68 o 152 1598.98/1599.05 o 151 1602.38/1602.48 o 150 1606.28/1606.35 o 149 1611.68/1611.75 o 148 1615.98/1616.02 o 147 1619.68/1619.76 o 146 1724.58/1724.68 o 145 1729.38/1729.43 o 144 1733.18/1733.21 o 143 1737.89/1737.91 o 142 1741.78/1741.89 o 141 1746.18/1746.28 o 140 1750.88/1750.93 o 139 1755.68/1755.76 o 138 1760.48/1760.51 o 137 1764.68/1764.72 o 136 1768.58/1768.67 o 135 1772.68/1772.75 o 134 1776.88/1776.95 o 133 1785.30/1785.37 o 132 1789.98/1790.06 o 131 1800.09/1800.11 >>> Terminate signal received 1800.09/1800.11 v -x1 x2 -x3 x4 x5 x6 -x7 -x8 x9 x10 -x11 -x12 -x13 x14 x15 -x16 -x17 x18 -x19 -x20 x21 x22 -x23 -x24 x25 -x26 -x27 x28 x29 x30 x31 -x32 x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 x124 -x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 x148 -x149 -x150 x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 x216 -x217 -x218 -x219 x220 x221 -x222 x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 x450 -x451 x452 -x453 -x454 x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 x510 x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
OK 131
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3464370-1307406109/watcher-3464370-1307406109 -o /tmp/evaluation-result-3464370-1307406109/solver-3464370-1307406109 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464370-1307406109.opb --verbosity=0 --format=opb running on 4 cores: 1,3,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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.07 2.02 2.00 2/481 3753 /proc/meminfo: memFree=26972452/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=7572 CPUtime=0 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 464 0 0 0 0 0 0 0 23 0 1 0 852213244 7753728 414 33554432000 4194304 6539028 140734046128816 18446744073709551615 5443656 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 1893 414 236 573 0 1311 0 [startup+0.0630939 s] /proc/loadavg: 2.07 2.02 2.00 2/481 3753 /proc/meminfo: memFree=26972452/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=12132 CPUtime=0.06 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 1553 0 0 0 6 0 0 0 23 0 1 0 852213244 12423168 1503 33554432000 4194304 6539028 140734046128816 18446744073709551615 5073703 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 3033 1504 236 573 0 2451 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12132 [startup+0.101085 s] /proc/loadavg: 2.07 2.02 2.00 2/481 3753 /proc/meminfo: memFree=26972452/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=18280 CPUtime=0.09 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 3163 0 0 0 9 0 0 0 23 0 1 0 852213244 18718720 2991 33554432000 4194304 6539028 140734046128816 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 4570 2994 236 573 0 3988 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18280 [startup+0.301053 s] /proc/loadavg: 2.07 2.02 2.00 2/481 3753 /proc/meminfo: memFree=26972452/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=57500 CPUtime=0.29 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 13086 0 0 0 28 1 0 0 25 0 1 0 852213244 58880000 12720 33554432000 4194304 6539028 140734046128816 18446744073709551615 5641259 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 14375 12722 251 573 0 13793 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 57500 [startup+0.700978 s] /proc/loadavg: 2.07 2.02 2.00 2/481 3753 /proc/meminfo: memFree=26972452/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=0.69 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28358 0 0 0 66 3 0 0 25 0 1 0 852213244 121016320 27992 33554432000 4194304 6539028 140734046128816 18446744073709551615 4494344 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 29545 27992 260 573 0 28963 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 118180 [startup+1.50083 s] /proc/loadavg: 2.07 2.02 2.00 3/482 3754 /proc/meminfo: memFree=26860016/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=1.49 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28388 0 0 0 146 3 0 0 25 0 1 0 852213244 121016320 28022 33554432000 4194304 6539028 140734046128816 18446744073709551615 4274762 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 29545 28022 260 573 0 28963 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 118180 [startup+3.10052 s] /proc/loadavg: 2.07 2.02 2.00 3/482 3754 /proc/meminfo: memFree=26858528/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=3.09 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28433 0 0 0 306 3 0 0 25 0 1 0 852213244 121016320 28067 33554432000 4194304 6539028 140734046128816 18446744073709551615 4626353 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 29545 28067 260 573 0 28963 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 118180 [startup+6.30091 s] /proc/loadavg: 2.06 2.02 2.00 3/482 3754 /proc/meminfo: memFree=26858476/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=6.29 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28510 0 0 0 626 3 0 0 25 0 1 0 852213244 121016320 28136 33554432000 4194304 6539028 140734046128816 18446744073709551615 4524105 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 29545 28136 270 573 0 28963 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 118180 [startup+12.7007 s] /proc/loadavg: 2.06 2.02 2.00 3/482 3754 /proc/meminfo: memFree=26858152/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=12.69 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28533 0 0 0 1266 3 0 0 25 0 1 0 852213244 121016320 28155 33554432000 4194304 6539028 140734046128816 18446744073709551615 4715600 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 29545 28155 270 573 0 28963 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 118180 [startup+25.5003 s] /proc/loadavg: 2.04 2.02 2.00 3/482 3755 /proc/meminfo: memFree=26858160/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=25.49 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28540 0 0 0 2546 3 0 0 25 0 1 0 852213244 121016320 28161 33554432000 4194304 6539028 140734046128816 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 29545 28161 270 573 0 28963 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 118180 [startup+51.1004 s] /proc/loadavg: 2.03 2.02 2.00 3/482 3755 /proc/meminfo: memFree=26858084/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=51.09 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28569 0 0 0 5106 3 0 0 25 0 1 0 852213244 121016320 28185 33554432000 4194304 6539028 140734046128816 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 29545 28185 270 573 0 28963 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 118180 [startup+102.318 s] /proc/loadavg: 2.13 2.05 2.01 3/482 3757 /proc/meminfo: memFree=26856948/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=102.31 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28606 0 0 0 10228 3 0 0 25 0 1 0 852213244 121016320 28218 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523767 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 29545 28218 270 573 0 28963 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 118180 [startup+162.3 s] /proc/loadavg: 2.15 2.07 2.01 3/482 3758 /proc/meminfo: memFree=26856560/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=162.29 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28634 0 0 0 16226 3 0 0 25 0 1 0 852213244 121016320 28241 33554432000 4194304 6539028 140734046128816 18446744073709551615 4524075 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/3753/statm: 29545 28241 270 573 0 28963 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 118180 [startup+222.301 s] /proc/loadavg: 2.05 2.05 2.01 3/482 3760 /proc/meminfo: memFree=26856912/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=222.25 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28653 0 0 0 22222 3 0 0 25 0 1 0 852213244 121016320 28257 33554432000 4194304 6539028 140734046128816 18446744073709551615 4625677 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28257 270 573 0 28963 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 118180 [startup+282.301 s] /proc/loadavg: 2.02 2.04 2.00 3/482 3762 /proc/meminfo: memFree=26857888/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=282.26 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28655 0 0 0 28223 3 0 0 25 0 1 0 852213244 121016320 28259 33554432000 4194304 6539028 140734046128816 18446744073709551615 4524075 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28259 270 573 0 28963 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 118180 [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.00 3/482 3763 /proc/meminfo: memFree=26858004/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=342.26 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28670 0 0 0 34223 3 0 0 25 0 1 0 852213244 121016320 28274 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28274 270 573 0 28963 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 118180 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/482 3793 /proc/meminfo: memFree=26853484/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=402.26 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28685 0 0 0 40223 3 0 0 25 0 1 0 852213244 121016320 28289 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28289 270 573 0 28963 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 118180 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/482 3794 /proc/meminfo: memFree=26852460/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=462.27 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28712 0 0 0 46223 4 0 0 25 0 1 0 852213244 121016320 28316 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523839 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28316 270 573 0 28963 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 118180 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 3796 /proc/meminfo: memFree=26852452/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=522.27 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28733 0 0 0 52223 4 0 0 25 0 1 0 852213244 121016320 28333 33554432000 4194304 6539028 140734046128816 18446744073709551615 4524078 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28333 270 573 0 28963 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 118180 [startup+582.301 s] /proc/loadavg: 2.10 2.04 2.01 3/482 3798 /proc/meminfo: memFree=26852428/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=582.26 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28778 0 0 0 58222 4 0 0 25 0 1 0 852213244 121016320 28378 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523541 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28378 270 573 0 28963 0 Current children cumulated CPU time (s) 582.26 Current children cumulated vsize (KiB) 118180 ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 3833 /proc/meminfo: memFree=26590620/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=882.27 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28879 0 0 0 88223 4 0 0 25 0 1 0 852213244 121016320 28474 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28474 270 573 0 28963 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 118180 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/482 3834 /proc/meminfo: memFree=26590832/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=942.27 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28898 0 0 0 94223 4 0 0 25 0 1 0 852213244 121016320 28493 33554432000 4194304 6539028 140734046128816 18446744073709551615 4524114 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28493 270 573 0 28963 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 118180 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 3836 /proc/meminfo: memFree=26591072/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=1002.27 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28921 0 0 0 100223 4 0 0 25 0 1 0 852213244 121016320 28514 33554432000 4194304 6539028 140734046128816 18446744073709551615 4524062 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28514 270 573 0 28963 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 118180 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 3837 /proc/meminfo: memFree=26591672/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=1062.27 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28954 0 0 0 106223 4 0 0 25 0 1 0 852213244 121016320 28547 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523764 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28547 270 573 0 28963 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 118180 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/482 3839 /proc/meminfo: memFree=26591536/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118180 CPUtime=1122.27 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 28970 0 0 0 112223 4 0 0 25 0 1 0 852213244 121016320 28562 33554432000 4194304 6539028 140734046128816 18446744073709551615 4501483 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29545 28562 270 573 0 28963 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 118180 [startup+1182.3 s] /proc/loadavg: 2.05 2.01 2.00 3/482 3841 /proc/meminfo: memFree=26591156/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1182.27 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29047 0 0 0 118223 4 0 0 25 0 1 0 852213244 121225216 28635 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523767 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28635 270 573 0 29014 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 118384 [startup+1242.3 s] /proc/loadavg: 2.10 2.04 2.01 3/482 3842 /proc/meminfo: memFree=26589276/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1242.27 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29088 0 0 0 124223 4 0 0 25 0 1 0 852213244 121225216 28674 33554432000 4194304 6539028 140734046128816 18446744073709551615 4501540 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28674 270 573 0 29014 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 118384 [startup+1302.3 s] /proc/loadavg: 2.03 2.03 2.00 3/482 3844 /proc/meminfo: memFree=26589260/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1302.28 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29110 0 0 0 130224 4 0 0 25 0 1 0 852213244 121225216 28692 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523764 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28692 270 573 0 29014 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 118384 [startup+1362.3 s] /proc/loadavg: 2.01 2.02 2.00 3/482 3845 /proc/meminfo: memFree=26589740/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1362.27 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29122 0 0 0 136223 4 0 0 25 0 1 0 852213244 121225216 28703 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28703 270 573 0 29014 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 118384 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/482 3847 /proc/meminfo: memFree=26588988/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1422.29 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29139 0 0 0 142225 4 0 0 25 0 1 0 852213244 121225216 28717 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28717 270 573 0 29014 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 118384 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 3849 /proc/meminfo: memFree=26589592/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1482.27 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29152 0 0 0 148223 4 0 0 25 0 1 0 852213244 121225216 28730 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28730 270 573 0 29014 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 118384 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/482 3850 /proc/meminfo: memFree=26590452/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1542.28 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29164 0 0 0 154224 4 0 0 25 0 1 0 852213244 121225216 28740 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523767 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28740 270 573 0 29014 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 118384 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/482 3852 /proc/meminfo: memFree=26590560/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1602.28 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29178 0 0 0 160224 4 0 0 25 0 1 0 852213244 121225216 28753 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523755 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28753 270 573 0 29014 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 118384 [startup+1662.3 s] /proc/loadavg: 2.07 2.02 2.00 3/482 3853 /proc/meminfo: memFree=26590300/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1662.28 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29185 0 0 0 166224 4 0 0 25 0 1 0 852213244 121225216 28760 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523764 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28760 270 573 0 29014 0 Current children cumulated CPU time (s) 1662.28 Current children cumulated vsize (KiB) 118384 [startup+1722.3 s] /proc/loadavg: 2.21 2.06 2.02 3/482 3855 /proc/meminfo: memFree=26589908/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1722.28 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29190 0 0 0 172224 4 0 0 25 0 1 0 852213244 121225216 28765 33554432000 4194304 6539028 140734046128816 18446744073709551615 4524109 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28765 270 573 0 29014 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 118384 [startup+1782.3 s] /proc/loadavg: 2.13 2.06 2.01 3/482 3857 /proc/meminfo: memFree=26588776/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1782.28 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29201 0 0 0 178224 4 0 0 25 0 1 0 852213244 121225216 28775 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523909 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28775 270 573 0 29014 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 118384 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.09 2.06 2.01 3/482 3857 /proc/meminfo: memFree=26588768/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1800.09 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29204 0 0 0 180005 4 0 0 25 0 1 0 852213244 121225216 28778 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28778 270 573 0 29014 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 118384 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.09 2.06 2.01 3/482 3857 /proc/meminfo: memFree=26588768/32951124 swapFree=38422276/67111528 [pid=3753] ppid=3751 vsize=118384 CPUtime=1800.09 cores=1,3,5,7 /proc/3753/stat : 3753 (minisatid) R 3751 3753 1485 0 -1 4202496 29204 0 0 0 180005 4 0 0 25 0 1 0 852213244 121225216 28778 33554432000 4194304 6539028 140734046128816 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/3753/statm: 29596 28778 270 573 0 29014 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 118384 Child status: 0 Real time (s): 1800.13 CPU time (s): 1800.12 CPU user time (s): 1800.07 CPU system time (s): 0.053991 CPU usage (%): 99.9997 Max. virtual memory (cumulated for all children) (KiB): 118384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.053991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29207 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= 3682 runsolver used 8.5297 second user time and 19.0591 second system time The end
Begin job on node102 at 2011-06-07 02:21:49 IDJOB=3464370 IDBENCH=48126 IDSOLVER=1956 FILE ID=node102/3464370-1307406109 RUNJOBID= node102-1307398888-3090 PBS_JOBID= 13514205 Free space on /tmp= 74028 MiB SOLVER NAME= MinisatID 2.4.8 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_4.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3464370-1307406109/watcher-3464370-1307406109 -o /tmp/evaluation-result-3464370-1307406109/solver-3464370-1307406109 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464370-1307406109.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b02c0aa46abe377e9678cb0b7b4280ae RANDOM SEED=1304230283 node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26972732 kB Buffers: 328404 kB Cached: 1620960 kB SwapCached: 86952 kB Active: 849312 kB Inactive: 4829320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26972732 kB SwapTotal: 67111528 kB SwapFree: 38422276 kB Dirty: 3124 kB Writeback: 0 kB AnonPages: 3665072 kB Mapped: 14716 kB Slab: 132468 kB PageTables: 99868 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 135480340 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= 74024 MiB End job on node102 at 2011-06-07 02:51:51