Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -18 | 180.912 | 180.971 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
MD5SUM | e1b2be59a127acc8d929395698929541 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 1789.87 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -45 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58549 |
Number of constraints which are clauses | 58549 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 945 |
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 | 945 |
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 | 945 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655881-1276499805.opb. 0.00/0.00 c Instance file HOME/instance-2655881-1276499805.opb 0.00/0.00 c File size is 1400279 bytes. 0.09/0.19 c Highest Coefficient sum: 3 0.09/0.19 c ============================[ Problem Statistics ]============================= 0.09/0.19 c | | 0.09/0.19 c | Parsing time: 0.18 s | 0.09/0.19 c | Number Variables: 945 | 0.09/0.19 c | Number Clauses: 58549 | 0.09/0.19 c | Number Cardinality: 0 | 0.09/0.19 c | Number PB Constraints: 0 | 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 945 58549 117098 | 19516 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 945 0.29/0.34 o 945 0.29/0.34 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 945 58550 118043 | 19516 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: 944 0.29/0.35 o 944 0.29/0.35 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 945 58551 118988 | 19517 0 nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: 943 0.29/0.36 o 943 0.29/0.36 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 11 | 945 58552 119933 | 19517 11 938 | 0.000 % | 0.40/0.40 c | 120 | 945 58552 119933 | 21469 120 937 | 0.000 % | 0.40/0.42 c =============================================================================== 0.40/0.42 c New solution: 942 0.40/0.42 o 942 0.40/0.42 c Elapsed CPU time: 0.409937 s Remaining CPU time: 179.59 s 0.40/0.42 c =============================================================================== 0.40/0.42 c | 130 | 945 58553 120878 | 19517 130 937 | 0.000 % | 0.40/0.43 c =============================================================================== 0.40/0.43 c New solution: 941 0.40/0.43 o 941 0.40/0.43 c Elapsed CPU time: 0.424935 s Remaining CPU time: 179.575 s 0.40/0.43 c =============================================================================== 0.40/0.43 c | 148 | 945 58554 121823 | 19518 148 937 | 0.000 % | 0.40/0.46 c | 250 | 945 58554 121823 | 21469 250 937 | 0.000 % | 0.40/0.49 c =============================================================================== 0.40/0.49 c New solution: 940 0.40/0.49 o 940 0.40/0.49 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s 0.40/0.49 c =============================================================================== 0.40/0.49 c | 321 | 945 58555 122768 | 19518 321 937 | 0.000 % | 0.49/0.52 c | 421 | 945 58555 122768 | 21470 421 937 | 0.000 % | 0.49/0.56 c | 576 | 945 58555 122768 | 23617 576 937 | 0.000 % | 0.59/0.63 c | 801 | 945 58555 122768 | 25978 801 937 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 939 0.69/0.72 o 939 0.69/0.72 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 1112 | 945 58556 123713 | 19518 1112 937 | 0.000 % | 0.69/0.76 c | 1213 | 945 58556 123713 | 21470 1213 937 | 0.000 % | 0.79/0.82 c | 1363 | 945 58556 123713 | 23617 1363 937 | 0.000 % | 0.90/0.91 c | 1589 | 945 58556 123713 | 25979 1589 936 | 0.000 % | 0.90/0.93 c =============================================================================== 0.90/0.93 c New solution: 938 0.90/0.93 o 938 0.90/0.93 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s 0.90/0.93 c =============================================================================== 0.90/0.93 c | 1613 | 945 58557 124658 | 19519 1613 936 | 0.000 % | 0.90/0.97 c | 1718 | 945 58557 124658 | 21470 1718 936 | 0.000 % | 1.00/1.03 c | 1869 | 945 58557 124658 | 23617 1869 936 | 0.000 % | 1.10/1.12 c | 2094 | 945 58557 124658 | 25979 2094 936 | 0.000 % | 1.19/1.26 c | 2431 | 945 58557 124658 | 28577 2431 936 | 0.000 % | 1.39/1.45 c | 2937 | 945 58557 124658 | 31435 2937 936 | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.51 c New solution: 937 1.49/1.51 o 937 1.49/1.51 c Elapsed CPU time: 1.48377 s Remaining CPU time: 178.516 s 1.49/1.51 c =============================================================================== 1.49/1.51 c | 3020 | 945 58558 125603 | 19519 3020 936 | 0.000 % | 1.49/1.58 c | 3122 | 945 58558 125603 | 21471 3122 935 | 0.000 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c New solution: 936 1.49/1.59 o 936 1.49/1.59 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s 1.49/1.59 c =============================================================================== 1.49/1.59 c | 3129 | 945 58559 126548 | 19519 3129 935 | 0.000 % | 1.59/1.69 c | 3233 | 945 58559 126548 | 21471 3233 935 | 0.000 % | 1.69/1.78 c | 3386 | 945 58559 126548 | 23618 3386 935 | 0.000 % | 1.89/1.91 c | 3613 | 945 58559 126548 | 25980 3613 935 | 0.000 % | 2.10/2.13 c | 3950 | 945 58559 126548 | 28578 3950 935 | 0.000 % | 2.39/2.49 c =============================================================================== 2.39/2.49 c New solution: 935 2.39/2.49 o 935 2.39/2.49 c Elapsed CPU time: 2.44263 s Remaining CPU time: 177.557 s 2.39/2.49 c =============================================================================== 2.39/2.49 c | 4399 | 945 58560 127493 | 19520 4399 935 | 0.000 % | 2.49/2.57 c | 4500 | 945 58560 127493 | 21472 4500 934 | 0.000 % | 2.69/2.70 c | 4651 | 945 58560 127493 | 23619 4651 934 | 0.000 % | 2.79/2.89 c | 4877 | 945 58560 127493 | 25981 4877 934 | 0.000 % | 2.89/2.91 c =============================================================================== 2.89/2.91 c New solution: 934 2.89/2.91 o 934 2.89/2.91 c Elapsed CPU time: 2.85656 s Remaining CPU time: 177.143 s 2.89/2.91 c =============================================================================== 2.89/2.91 c | 4888 | 945 58561 128438 | 19520 4888 934 | 0.000 % | 2.89/3.00 c | 4991 | 945 58561 128438 | 21472 4991 934 | 0.000 % | 3.09/3.11 c | 5142 | 945 58561 128438 | 23619 5142 934 | 0.000 % | 3.30/3.31 c | 5367 | 945 58561 128438 | 25981 5367 934 | 0.000 % | 3.30/3.33 c =============================================================================== 3.30/3.33 c New solution: 933 3.30/3.33 o 933 3.30/3.33 c Elapsed CPU time: 3.2705 s Remaining CPU time: 176.729 s 3.30/3.33 c =============================================================================== 3.30/3.33 c | 5378 | 945 58562 129383 | 19520 5378 934 | 0.000 % | 3.39/3.41 c | 5480 | 945 58562 129383 | 21472 5480 934 | 0.000 % | 3.49/3.53 c | 5630 | 945 58562 129383 | 23620 5630 934 | 0.000 % | 3.69/3.75 c | 5856 | 945 58562 129383 | 25982 5856 933 | 0.000 % | 4.09/4.10 c | 6194 | 945 58562 129383 | 28580 6194 933 | 0.000 % | 4.40/4.41 c =============================================================================== 4.40/4.41 c New solution: 932 4.40/4.41 o 932 4.40/4.41 c Elapsed CPU time: 4.33634 s Remaining CPU time: 175.664 s 4.40/4.41 c =============================================================================== 4.40/4.41 c | 6611 | 945 58563 130328 | 19521 6611 933 | 0.000 % | 4.49/4.52 c | 6712 | 945 58563 130328 | 21473 6712 933 | 0.000 % | 4.59/4.67 c | 6862 | 945 58563 130328 | 23620 6862 933 | 0.000 % | 4.89/4.95 c | 7087 | 945 58563 130328 | 25982 7087 933 | 0.000 % | 5.29/5.33 c | 7427 | 945 58563 130328 | 28580 7427 933 | 0.000 % | 5.59/5.66 c | 7933 | 945 58563 130328 | 31438 7933 932 | 0.000 % | 6.39/6.41 c | 8692 | 945 58563 130328 | 34582 8692 932 | 0.000 % | 7.69/7.76 c | 9832 | 945 58563 130328 | 38040 9832 932 | 0.000 % | 9.90/9.93 c | 11543 | 945 58563 130328 | 41844 11543 931 | 0.000 % | 11.88/11.93 c =============================================================================== 11.88/11.93 c New solution: 931 11.88/11.93 o 931 11.88/11.93 c Elapsed CPU time: 11.7972 s Remaining CPU time: 168.203 s 11.88/11.93 c =============================================================================== 11.88/11.93 c | 12875 | 945 58564 131273 | 19521 12875 931 | 0.000 % | 11.99/12.03 c | 12975 | 945 58564 131273 | 21473 12975 931 | 0.000 % | 12.19/12.29 c | 13125 | 945 58564 131273 | 23620 13125 931 | 0.000 % | 12.49/12.53 c | 13352 | 945 58564 131273 | 25982 13352 931 | 0.000 % | 12.68/12.76 c | 13690 | 945 58564 131273 | 28581 13690 931 | 0.000 % | 13.10/13.15 c | 14197 | 945 58564 131273 | 31439 14197 931 | 0.000 % | 13.29/13.37 c =============================================================================== 13.29/13.37 c New solution: 930 13.29/13.37 o 930 13.29/13.37 c Elapsed CPU time: 13.212 s Remaining CPU time: 166.788 s 13.29/13.37 c =============================================================================== 13.29/13.37 c | 14435 | 945 58565 132218 | 19521 14435 931 | 0.000 % | 13.38/13.46 c | 14536 | 945 58565 132218 | 21473 14536 930 | 0.000 % | 13.58/13.60 c | 14687 | 945 58565 132218 | 23621 14687 930 | 0.000 % | 13.68/13.79 c | 14913 | 945 58565 132218 | 25983 14913 930 | 0.000 % | 14.09/14.15 c | 15252 | 945 58565 132218 | 28581 15252 930 | 0.000 % | 14.20/14.23 c =============================================================================== 14.20/14.23 c New solution: 929 14.20/14.23 o 929 14.20/14.23 c Elapsed CPU time: 14.0679 s Remaining CPU time: 165.932 s 14.20/14.23 c =============================================================================== 14.20/14.23 c | 15314 | 945 58566 133163 | 19522 15314 930 | 0.000 % | 14.30/14.35 c | 15415 | 945 58566 133163 | 21474 15415 930 | 0.000 % | 14.38/14.49 c | 15567 | 945 58566 133163 | 23621 15567 930 | 0.000 % | 14.59/14.66 c | 15792 | 945 58566 133163 | 25983 15792 930 | 0.000 % | 14.99/15.04 c | 16131 | 945 58566 133163 | 28582 16131 930 | 0.000 % | 15.48/15.50 c | 16638 | 945 58566 133163 | 31440 16638 930 | 0.000 % | 16.19/16.29 c | 17398 | 945 58566 133163 | 34584 17398 930 | 0.000 % | 17.99/18.00 c | 18539 | 945 58566 133163 | 38042 18539 930 | 0.000 % | 21.69/21.72 c | 20247 | 945 58566 133163 | 41847 20247 929 | 0.000 % | 26.88/26.93 c | 22810 | 945 58566 133163 | 46031 22810 929 | 0.000 % | 35.18/35.26 c | 26655 | 945 58566 133163 | 50635 26655 928 | 0.000 % | 57.87/57.92 c | 32421 | 945 58566 133163 | 55698 32421 928 | 0.000 % | 57.87/57.95 c =============================================================================== 57.87/57.96 c New solution: 928 57.87/57.96 o 928 57.87/57.96 c Elapsed CPU time: 57.6072 s Remaining CPU time: 122.393 s 57.87/57.96 c =============================================================================== 57.87/57.96 c | 32429 | 945 58567 134108 | 19522 32429 928 | 0.000 % | 58.77/58.83 c | 32530 | 945 58567 134108 | 21474 11150 926 | 0.000 % | 58.97/59.01 c | 32683 | 945 58567 134108 | 23622 11303 926 | 0.000 % | 59.17/59.27 c | 32908 | 945 58567 134108 | 25984 11528 926 | 0.000 % | 59.67/59.71 c | 33245 | 945 58567 134108 | 28582 11865 926 | 0.000 % | 60.47/60.60 c | 33752 | 945 58567 134108 | 31440 12372 926 | 0.000 % | 61.47/61.57 c | 34511 | 945 58567 134108 | 34585 13131 926 | 0.000 % | 62.86/62.98 c | 35650 | 945 58567 134108 | 38043 14270 926 | 0.000 % | 65.06/65.15 c | 37358 | 945 58567 134108 | 41847 15978 926 | 0.000 % | 70.86/70.99 c | 39921 | 945 58567 134108 | 46032 18541 926 | 0.000 % | 81.86/81.95 c | 43768 | 945 58567 134108 | 50635 22388 926 | 0.000 % | 98.66/98.72 c =============================================================================== 98.66/98.72 c New solution: 927 98.66/98.72 o 927 98.66/98.72 c Elapsed CPU time: 98.2031 s Remaining CPU time: 81.7969 s 98.66/98.72 c =============================================================================== 98.66/98.72 c | 48881 | 945 58568 135053 | 19522 27501 925 | 0.000 % | 99.46/99.53 c | 48982 | 945 58568 135053 | 21474 10981 925 | 0.000 % | 99.75/99.86 c | 49134 | 945 58568 135053 | 23622 11133 925 | 0.000 % | 100.26/100.34 c | 49359 | 945 58568 135053 | 25984 11358 925 | 0.000 % | 100.95/101.01 c | 49697 | 945 58568 135053 | 28583 11696 925 | 0.000 % | 101.56/101.69 c | 50204 | 945 58568 135053 | 31441 12203 925 | 0.000 % | 102.95/103.02 c | 50965 | 945 58568 135053 | 34585 12964 925 | 0.000 % | 106.25/106.37 c | 52106 | 945 58568 135053 | 38044 14105 925 | 0.000 % | 110.55/110.67 c | 53814 | 945 58568 135053 | 41848 15813 925 | 0.000 % | 118.45/118.56 c | 56377 | 945 58568 135053 | 46033 18376 925 | 0.000 % | 125.05/125.13 c | 60221 | 945 58568 135053 | 50636 22220 924 | 0.000 % | 142.65/142.77 c | 65988 | 945 58568 135053 | 55700 27987 924 | 0.000 % | 180.73/180.82 c There are 0 assigned variables. 0 in cost function. 180.83/180.94 c core #1 180.83/180.94 c #cores: 1 180.83/180.94 c Final Weight: 927 180.83/180.94 o 927 180.83/180.94 s OPTIMUM FOUND 180.83/180.94 v x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 180.83/180.94 c Total CPU time: 180.115 s
OK -18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655881-1276499805/watcher-2655881-1276499805 -o /tmp/evaluation-result-2655881-1276499805/solver-2655881-1276499805 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655881-1276499805.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 1.02 1.00 3/106 28262 /proc/meminfo: memFree=1780024/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=4072 CPUtime=0 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 320 0 0 0 0 0 0 0 18 0 1 0 25566902 4169728 239 1992294400 134512640 135751879 4289065008 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 1018 239 146 303 0 371 0 [startup+0.0794149 s] /proc/loadavg: 1.07 1.02 1.00 3/106 28262 /proc/meminfo: memFree=1780024/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=5116 CPUtime=0.07 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 700 0 0 0 7 0 0 0 18 0 1 0 25566902 5238784 619 1992294400 134512640 135751879 4289065008 18446744073709551615 134559738 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 1279 619 272 303 0 632 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5116 [startup+0.101415 s] /proc/loadavg: 1.07 1.02 1.00 3/106 28262 /proc/meminfo: memFree=1780024/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=5412 CPUtime=0.09 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 818 0 0 0 9 0 0 0 18 0 1 0 25566902 5541888 737 1992294400 134512640 135751879 4289065008 18446744073709551615 134560576 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 1353 738 312 303 0 706 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5412 [startup+0.301434 s] /proc/loadavg: 1.07 1.02 1.00 3/106 28262 /proc/meminfo: memFree=1780024/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=9328 CPUtime=0.29 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 2344 0 0 0 29 0 0 0 18 0 1 0 25566902 9551872 1890 1992294400 134512640 135751879 4289065008 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 2332 1890 144 303 0 2027 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9328 [startup+0.701474 s] /proc/loadavg: 1.07 1.02 1.00 3/106 28262 /proc/meminfo: memFree=1780024/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=9708 CPUtime=0.69 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 2437 0 0 0 68 1 0 0 18 0 1 0 25566902 9940992 1983 1992294400 134512640 135751879 4289065008 18446744073709551615 134606780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 2427 1983 147 303 0 2122 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9708 [startup+1.50155 s] /proc/loadavg: 1.07 1.02 1.00 2/107 28263 /proc/meminfo: memFree=1769848/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=17264 CPUtime=1.49 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 4314 0 0 0 147 2 0 0 19 0 1 0 25566902 17678336 3860 1992294400 134512640 135751879 4289065008 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 4316 3860 147 303 0 4011 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17264 [startup+3.10072 s] /proc/loadavg: 1.06 1.02 1.00 2/107 28263 /proc/meminfo: memFree=1761292/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=25344 CPUtime=3.09 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 6346 0 0 0 303 6 0 0 23 0 1 0 25566902 25952256 5892 1992294400 134512640 135751879 4289065008 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 6336 5892 147 303 0 6031 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25344 [startup+6.30104 s] /proc/loadavg: 1.06 1.02 1.00 2/107 28263 /proc/meminfo: memFree=1747528/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=38476 CPUtime=6.29 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 9617 0 0 0 620 9 0 0 25 0 1 0 25566902 39399424 9163 1992294400 134512640 135751879 4289065008 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 9619 9163 147 303 0 9314 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38476 [startup+12.7007 s] /proc/loadavg: 1.05 1.01 1.00 2/107 28263 /proc/meminfo: memFree=1726696/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=57792 CPUtime=12.68 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 14433 0 0 0 1254 14 0 0 25 0 1 0 25566902 59179008 13979 1992294400 134512640 135751879 4289065008 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 14448 13979 147 303 0 14143 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 57792 [startup+25.501 s] /proc/loadavg: 1.04 1.01 1.00 2/107 28263 /proc/meminfo: memFree=1693836/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=88640 CPUtime=25.48 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 22162 0 0 0 2526 22 0 0 25 0 1 0 25566902 90767360 21708 1992294400 134512640 135751879 4289065008 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 22160 21708 147 303 0 21855 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 88640 [startup+51.1015 s] /proc/loadavg: 1.03 1.01 1.00 2/107 28265 /proc/meminfo: memFree=1658248/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=124296 CPUtime=51.07 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 31027 0 0 0 5077 30 0 0 25 0 1 0 25566902 127279104 30573 1992294400 134512640 135751879 4289065008 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 31074 30573 147 303 0 30769 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 124296 [startup+102.309 s] /proc/loadavg: 1.01 1.01 1.00 2/107 28265 /proc/meminfo: memFree=1584468/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=197412 CPUtime=102.26 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 49295 0 0 0 10176 50 0 0 25 0 1 0 25566902 202149888 48841 1992294400 134512640 135751879 4289065008 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 49353 48841 148 303 0 49048 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 197412 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28267 /proc/meminfo: memFree=1515152/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=266852 CPUtime=162.24 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 66598 0 0 0 16154 70 0 0 25 0 1 0 25566902 273256448 66144 1992294400 134512640 135751879 4289065008 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 66713 66144 148 303 0 66408 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 266852 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28267 /proc/meminfo: memFree=1512796/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=269156 CPUtime=166.24 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 67162 0 0 0 16553 71 0 0 25 0 1 0 25566902 275615744 66708 1992294400 134512640 135751879 4289065008 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 67289 66708 148 303 0 66984 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 269156 [startup+172.708 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28267 /proc/meminfo: memFree=1501512/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=280220 CPUtime=172.64 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 69929 0 0 0 17190 74 0 0 25 0 1 0 25566902 286945280 69475 1992294400 134512640 135751879 4289065008 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 70055 69475 148 303 0 69750 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 280220 [startup+175.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28267 /proc/meminfo: memFree=1499652/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=282008 CPUtime=175.84 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 70385 0 0 0 17509 75 0 0 25 0 1 0 25566902 288776192 69931 1992294400 134512640 135751879 4289065008 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 70502 69931 148 303 0 70197 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 282008 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28267 /proc/meminfo: memFree=1498288/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=284464 CPUtime=179.04 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 70977 0 0 0 17828 76 0 0 25 0 1 0 25566902 291291136 70523 1992294400 134512640 135751879 4289065008 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 71116 70523 148 303 0 70811 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 284464 [startup+179.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28267 /proc/meminfo: memFree=1497172/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=285100 CPUtime=179.83 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 71149 0 0 0 17907 76 0 0 25 0 1 0 25566902 291942400 70695 1992294400 134512640 135751879 4289065008 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 71275 70695 148 303 0 70970 0 Current children cumulated CPU time (s) 179.83 Current children cumulated vsize (KiB) 285100 [startup+180.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28267 /proc/meminfo: memFree=1496304/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=285996 CPUtime=180.63 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 71365 0 0 0 17987 76 0 0 25 0 1 0 25566902 292859904 70911 1992294400 134512640 135751879 4289065008 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 71499 70911 148 303 0 71194 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 285996 [startup+180.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28267 /proc/meminfo: memFree=1496304/2059040 swapFree=4134576/4192956 [pid=28262] ppid=28260 vsize=288524 CPUtime=180.83 /proc/28262/stat : 28262 (wbo1.4b) R 28260 28262 27972 0 -1 4202496 72006 0 0 0 18007 76 0 0 25 0 1 0 25566902 295448576 71552 1992294400 134512640 135751879 4289065008 18446744073709551615 135202521 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28262/statm: 72131 71552 149 303 0 71826 0 Current children cumulated CPU time (s) 180.83 Current children cumulated vsize (KiB) 288524 Child status: 0 Real time (s): 180.971 CPU time (s): 180.912 CPU user time (s): 180.115 CPU system time (s): 0.797878 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (KiB): 288524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.115 system time used= 0.797878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72007 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= 7 involuntary context switches= 547 runsolver used 0.307953 second user time and 0.857869 second system time The end
Begin job on node017 at 2010-06-14 09:16:45 IDJOB=2655881 IDBENCH=2253 IDSOLVER=1161 FILE ID=node017/2655881-1276499805 PBS_JOBID= 11173407 Free space on /tmp= 62424 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655881-1276499805/watcher-2655881-1276499805 -o /tmp/evaluation-result-2655881-1276499805/solver-2655881-1276499805 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655881-1276499805.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1b2be59a127acc8d929395698929541 RANDOM SEED=2061802440 node017.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1780552 kB Buffers: 90236 kB Cached: 109536 kB SwapCached: 11540 kB Active: 105468 kB Inactive: 108224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1780552 kB SwapTotal: 4192956 kB SwapFree: 4134576 kB Dirty: 5780 kB Writeback: 16 kB AnonPages: 12340 kB Mapped: 9188 kB Slab: 43124 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183260 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62424 MiB End job on node017 at 2010-06-14 09:19:46