Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -20 | 180.712 | 180.775 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb |
MD5SUM | 05ceccb8ea9c274c844c39df1472d3cc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -38 |
Best CPU time to get the best result obtained on this benchmark | 1789.96 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 59186 |
Number of constraints which are clauses | 59186 |
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-2655880-1276499098.opb. 0.00/0.00 c Instance file HOME/instance-2655880-1276499098.opb 0.00/0.00 c File size is 1415680 bytes. 0.10/0.19 c Highest Coefficient sum: 3 0.10/0.19 c ============================[ Problem Statistics ]============================= 0.10/0.19 c | | 0.10/0.19 c | Parsing time: 0.19 s | 0.10/0.19 c | Number Variables: 945 | 0.10/0.19 c | Number Clauses: 59186 | 0.10/0.19 c | Number Cardinality: 0 | 0.10/0.19 c | Number PB Constraints: 0 | 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 945 59186 118372 | 19728 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.334949 s Remaining CPU time: 179.665 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 945 59187 119317 | 19729 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 944 0.29/0.34 o 944 0.29/0.34 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 945 59188 120262 | 19729 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.349946 s Remaining CPU time: 179.65 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 11 | 945 59189 121207 | 19729 11 938 | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c New solution: 942 0.29/0.39 o 942 0.29/0.39 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s 0.29/0.39 c =============================================================================== 0.29/0.39 c | 89 | 945 59190 122152 | 19730 89 937 | 0.000 % | 0.40/0.41 c =============================================================================== 0.40/0.41 c New solution: 941 0.40/0.41 o 941 0.40/0.41 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s 0.40/0.41 c =============================================================================== 0.40/0.41 c | 116 | 945 59191 123097 | 19730 116 937 | 0.000 % | 0.40/0.44 c | 218 | 945 59191 123097 | 21703 218 936 | 0.000 % | 0.40/0.48 c =============================================================================== 0.40/0.48 c New solution: 940 0.40/0.48 o 940 0.40/0.48 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s 0.40/0.48 c =============================================================================== 0.40/0.48 c | 365 | 945 59192 124042 | 19730 365 936 | 0.000 % | 0.49/0.51 c | 466 | 945 59192 124042 | 21703 466 936 | 0.000 % | 0.49/0.56 c | 618 | 945 59192 124042 | 23874 618 936 | 0.000 % | 0.59/0.62 c | 844 | 945 59192 124042 | 26261 844 936 | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: 939 0.59/0.67 o 939 0.59/0.67 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 966 | 945 59193 124987 | 19731 966 936 | 0.000 % | 0.69/0.70 c | 1067 | 945 59193 124987 | 21704 1067 936 | 0.000 % | 0.69/0.75 c | 1219 | 945 59193 124987 | 23874 1219 936 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: 938 0.69/0.79 o 938 0.69/0.79 c Elapsed CPU time: 0.777881 s Remaining CPU time: 179.222 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 1284 | 945 59194 125932 | 19731 1284 936 | 0.000 % | 0.80/0.84 c | 1385 | 945 59194 125932 | 21704 1385 935 | 0.000 % | 0.80/0.86 c =============================================================================== 0.80/0.86 c New solution: 937 0.80/0.86 o 937 0.80/0.86 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s 0.80/0.86 c =============================================================================== 0.80/0.86 c | 1396 | 945 59195 126877 | 19731 1396 935 | 0.000 % | 0.89/0.91 c | 1500 | 945 59195 126877 | 21704 1500 935 | 0.000 % | 0.89/0.98 c | 1651 | 945 59195 126877 | 23875 1651 935 | 0.000 % | 1.09/1.11 c | 1876 | 945 59195 126877 | 26262 1876 934 | 0.000 % | 1.09/1.17 c =============================================================================== 1.09/1.17 c New solution: 936 1.09/1.17 o 936 1.09/1.17 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s 1.09/1.17 c =============================================================================== 1.09/1.17 c | 1986 | 945 59196 127822 | 19732 1986 934 | 0.000 % | 1.19/1.22 c | 2088 | 945 59196 127822 | 21705 2088 934 | 0.000 % | 1.29/1.31 c | 2240 | 945 59196 127822 | 23875 2240 934 | 0.000 % | 1.39/1.41 c | 2465 | 945 59196 127822 | 26263 2465 934 | 0.000 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c New solution: 935 1.49/1.58 o 935 1.49/1.58 c Elapsed CPU time: 1.53777 s Remaining CPU time: 178.462 s 1.49/1.58 c =============================================================================== 1.49/1.58 c | 2728 | 945 59197 128767 | 19732 2728 934 | 0.000 % | 1.59/1.65 c | 2829 | 945 59197 128767 | 21705 2829 934 | 0.000 % | 1.69/1.74 c | 2980 | 945 59197 128767 | 23876 2980 934 | 0.000 % | 1.79/1.85 c =============================================================================== 1.79/1.85 c New solution: 934 1.79/1.85 o 934 1.79/1.85 c Elapsed CPU time: 1.81172 s Remaining CPU time: 178.188 s 1.79/1.85 c =============================================================================== 1.79/1.85 c | 3149 | 945 59198 129712 | 19732 3149 933 | 0.000 % | 1.89/1.94 c | 3250 | 945 59198 129712 | 21705 3250 933 | 0.000 % | 1.99/2.04 c | 3401 | 945 59198 129712 | 23876 3401 933 | 0.000 % | 2.19/2.20 c | 3626 | 945 59198 129712 | 26264 3626 933 | 0.000 % | 2.39/2.48 c | 3963 | 945 59198 129712 | 28890 3963 933 | 0.000 % | 2.49/2.58 c =============================================================================== 2.49/2.58 c New solution: 933 2.49/2.58 o 933 2.49/2.58 c Elapsed CPU time: 2.52462 s Remaining CPU time: 177.475 s 2.49/2.58 c =============================================================================== 2.49/2.58 c | 4070 | 945 59199 130657 | 19733 4070 933 | 0.000 % | 2.59/2.65 c | 4172 | 945 59199 130657 | 21706 4172 932 | 0.000 % | 2.69/2.75 c | 4323 | 945 59199 130657 | 23876 4323 932 | 0.000 % | 2.89/2.95 c | 4551 | 945 59199 130657 | 26264 4551 932 | 0.000 % | 3.20/3.21 c | 4890 | 945 59199 130657 | 28891 4890 932 | 0.000 % | 3.59/3.65 c | 5396 | 945 59199 130657 | 31780 5396 932 | 0.000 % | 4.19/4.20 c | 6155 | 945 59199 130657 | 34958 6155 931 | 0.000 % | 4.40/4.48 c =============================================================================== 4.40/4.48 c New solution: 932 4.40/4.48 o 932 4.40/4.48 c Elapsed CPU time: 4.41233 s Remaining CPU time: 175.588 s 4.40/4.48 c =============================================================================== 4.40/4.48 c | 6536 | 945 59200 131602 | 19733 6536 931 | 0.000 % | 4.59/4.62 c | 6637 | 945 59200 131602 | 21706 6637 931 | 0.000 % | 4.69/4.78 c | 6789 | 945 59200 131602 | 23877 6789 931 | 0.000 % | 4.89/4.97 c | 7016 | 945 59200 131602 | 26265 7016 931 | 0.000 % | 5.19/5.27 c | 7354 | 945 59200 131602 | 28891 7354 931 | 0.000 % | 5.59/5.63 c | 7861 | 945 59200 131602 | 31780 7861 931 | 0.000 % | 6.49/6.51 c | 8620 | 945 59200 131602 | 34958 8620 931 | 0.000 % | 7.59/7.60 c | 9759 | 945 59200 131602 | 38454 9759 930 | 0.000 % | 8.09/8.18 c =============================================================================== 8.09/8.18 c New solution: 931 8.09/8.18 o 931 8.09/8.18 c Elapsed CPU time: 8.07277 s Remaining CPU time: 171.927 s 8.09/8.18 c =============================================================================== 8.09/8.18 c | 10351 | 945 59201 132547 | 19733 10351 930 | 0.000 % | 8.28/8.30 c | 10451 | 945 59201 132547 | 21707 10451 930 | 0.000 % | 8.39/8.47 c | 10601 | 945 59201 132547 | 23877 10601 930 | 0.000 % | 8.69/8.78 c | 10827 | 945 59201 132547 | 26265 10827 930 | 0.000 % | 9.48/9.53 c | 11164 | 945 59201 132547 | 28892 11164 930 | 0.000 % | 10.29/10.33 c | 11673 | 945 59201 132547 | 31781 11673 930 | 0.000 % | 11.29/11.33 c | 12432 | 945 59201 132547 | 34959 12432 930 | 0.000 % | 12.00/12.06 c =============================================================================== 12.00/12.06 c New solution: 930 12.00/12.06 o 930 12.00/12.06 c Elapsed CPU time: 11.9292 s Remaining CPU time: 168.071 s 12.00/12.06 c =============================================================================== 12.00/12.06 c | 12899 | 945 59202 133492 | 19734 12899 930 | 0.000 % | 12.19/12.26 c | 13000 | 945 59202 133492 | 21707 13000 930 | 0.000 % | 12.49/12.59 c | 13150 | 945 59202 133492 | 23878 13150 930 | 0.000 % | 12.88/12.95 c | 13375 | 945 59202 133492 | 26265 13375 930 | 0.000 % | 13.49/13.51 c | 13713 | 945 59202 133492 | 28892 13713 930 | 0.000 % | 14.29/14.32 c | 14219 | 945 59202 133492 | 31781 14219 930 | 0.000 % | 15.69/15.78 c | 14978 | 945 59202 133492 | 34959 14978 929 | 0.000 % | 17.78/17.82 c | 16118 | 945 59202 133492 | 38455 16118 929 | 0.000 % | 19.58/19.63 c =============================================================================== 19.58/19.63 c New solution: 929 19.58/19.63 o 929 19.58/19.63 c Elapsed CPU time: 19.464 s Remaining CPU time: 160.536 s 19.58/19.63 c =============================================================================== 19.58/19.63 c | 17581 | 945 59203 134437 | 19734 17581 929 | 0.000 % | 19.69/19.76 c | 17682 | 945 59203 134437 | 21707 17682 929 | 0.000 % | 19.99/20.08 c | 17834 | 945 59203 134437 | 23878 17834 929 | 0.000 % | 20.98/21.06 c | 18059 | 945 59203 134437 | 26266 18059 929 | 0.000 % | 21.29/21.32 c =============================================================================== 21.29/21.32 c New solution: 928 21.29/21.32 o 928 21.29/21.32 c Elapsed CPU time: 21.1388 s Remaining CPU time: 158.861 s 21.29/21.32 c =============================================================================== 21.29/21.32 c | 18279 | 945 59204 135382 | 19734 18279 929 | 0.000 % | 21.58/21.62 c | 18379 | 945 59204 135382 | 21708 18379 929 | 0.000 % | 21.99/22.03 c | 18531 | 945 59204 135382 | 23878 18531 929 | 0.000 % | 22.29/22.34 c | 18757 | 945 59204 135382 | 26266 18757 929 | 0.000 % | 23.58/23.62 c | 19094 | 945 59204 135382 | 28893 19094 929 | 0.000 % | 24.98/25.04 c | 19601 | 945 59204 135382 | 31782 19601 929 | 0.000 % | 26.48/26.56 c | 20361 | 945 59204 135382 | 34961 20361 929 | 0.000 % | 28.08/28.12 c | 21500 | 945 59204 135382 | 38457 21500 928 | 0.000 % | 32.77/32.80 c | 23209 | 945 59204 135382 | 42303 23209 928 | 0.000 % | 39.18/39.28 c | 25773 | 945 59204 135382 | 46533 25773 928 | 0.000 % | 47.87/47.99 c | 29617 | 945 59204 135382 | 51186 29617 928 | 0.000 % | 68.87/68.99 c | 35385 | 945 59204 135382 | 56305 35385 927 | 0.000 % | 112.75/112.82 c =============================================================================== 112.75/112.82 c New solution: 927 112.75/112.82 o 927 112.75/112.82 c Elapsed CPU time: 112.35 s Remaining CPU time: 67.6501 s 112.75/112.82 c =============================================================================== 112.75/112.82 c | 42297 | 945 59205 136327 | 19735 42297 927 | 0.000 % | 115.65/115.71 c | 42399 | 945 59205 136327 | 21708 11421 925 | 0.000 % | 115.95/116.01 c | 42549 | 945 59205 136327 | 23879 11571 925 | 0.000 % | 116.46/116.56 c | 42775 | 945 59205 136327 | 26267 11797 925 | 0.000 % | 117.15/117.25 c | 43114 | 945 59205 136327 | 28894 12136 925 | 0.000 % | 117.95/118.03 c | 43620 | 945 59205 136327 | 31783 12642 925 | 0.000 % | 119.25/119.37 c | 44382 | 945 59205 136327 | 34961 13404 925 | 0.000 % | 122.65/122.74 c | 45521 | 945 59205 136327 | 38457 14543 925 | 0.000 % | 126.95/127.00 c | 47229 | 945 59205 136327 | 42303 16251 925 | 0.000 % | 129.25/129.31 c =============================================================================== 129.25/129.31 c New solution: 926 129.25/129.31 o 926 129.25/129.31 c Elapsed CPU time: 128.775 s Remaining CPU time: 51.2246 s 129.25/129.31 c =============================================================================== 129.25/129.31 c | 47902 | 945 59206 137272 | 19735 16924 925 | 0.000 % | 129.66/129.76 c | 48003 | 945 59206 137272 | 21708 17025 925 | 0.000 % | 130.45/130.51 c | 48155 | 945 59206 137272 | 23879 17177 925 | 0.000 % | 131.55/131.67 c | 48381 | 945 59206 137272 | 26267 17403 925 | 0.000 % | 133.15/133.22 c | 48718 | 945 59206 137272 | 28894 17740 925 | 0.000 % | 133.45/133.56 c =============================================================================== 133.45/133.56 c New solution: 925 133.45/133.56 o 925 133.45/133.56 c Elapsed CPU time: 133.011 s Remaining CPU time: 46.9892 s 133.45/133.56 c =============================================================================== 133.45/133.56 c | 48811 | 945 59207 138217 | 19735 17833 925 | 0.000 % | 134.15/134.27 c | 48914 | 945 59207 138217 | 21709 17936 925 | 0.000 % | 135.04/135.16 c | 49068 | 945 59207 138217 | 23880 18090 925 | 0.000 % | 137.04/137.10 c | 49295 | 945 59207 138217 | 26268 18317 925 | 0.000 % | 139.44/139.51 c | 49632 | 945 59207 138217 | 28894 18654 924 | 0.000 % | 142.14/142.26 c | 50140 | 945 59207 138217 | 31784 19162 924 | 0.000 % | 146.74/146.85 c | 50899 | 945 59207 138217 | 34962 19921 924 | 0.000 % | 150.23/150.33 c | 52039 | 945 59207 138217 | 38459 21061 924 | 0.000 % | 161.03/161.12 c | 53747 | 945 59207 138217 | 42305 22769 924 | 0.000 % | 180.53/180.65 c There are 0 assigned variables. 0 in cost function. 180.63/180.75 c core #1 180.63/180.75 c #cores: 1 180.63/180.75 c Final Weight: 925 180.63/180.75 o 925 180.63/180.75 s OPTIMUM FOUND 180.63/180.75 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.63/180.75 c Total CPU time: 180.093 s
OK -20
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655880-1276499098/watcher-2655880-1276499098 -o /tmp/evaluation-result-2655880-1276499098/solver-2655880-1276499098 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655880-1276499098.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.00 1.00 1.06 3/106 28162 /proc/meminfo: memFree=1792632/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=4096 CPUtime=0 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 25513259 4194304 237 1992294400 134512640 135751879 4288243120 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 1024 237 145 303 0 373 0 [startup+0.0979859 s] /proc/loadavg: 1.00 1.00 1.06 3/106 28162 /proc/meminfo: memFree=1792632/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=5436 CPUtime=0.09 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 809 0 0 0 9 0 0 0 20 0 1 0 25513259 5566464 728 1992294400 134512640 135751879 4288243120 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 1359 729 308 303 0 708 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5436 [startup+0.101986 s] /proc/loadavg: 1.00 1.00 1.06 3/106 28162 /proc/meminfo: memFree=1792632/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=5436 CPUtime=0.1 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 831 0 0 0 10 0 0 0 20 0 1 0 25513259 5566464 750 1992294400 134512640 135751879 4288243120 18446744073709551615 135118186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 1359 750 315 303 0 708 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5436 [startup+0.301022 s] /proc/loadavg: 1.00 1.00 1.06 3/106 28162 /proc/meminfo: memFree=1792632/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=9360 CPUtime=0.29 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 2367 0 0 0 29 0 0 0 20 0 1 0 25513259 9584640 1907 1992294400 134512640 135751879 4288243120 18446744073709551615 135203987 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 2340 1907 144 303 0 2035 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9360 [startup+0.701097 s] /proc/loadavg: 1.00 1.00 1.06 3/106 28162 /proc/meminfo: memFree=1792632/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=9760 CPUtime=0.69 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 2463 0 0 0 68 1 0 0 20 0 1 0 25513259 9994240 2003 1992294400 134512640 135751879 4288243120 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 2440 2003 147 303 0 2135 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9760 [startup+1.50025 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28163 /proc/meminfo: memFree=1782208/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=15836 CPUtime=1.49 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 3966 0 0 0 145 4 0 0 23 0 1 0 25513259 16216064 3506 1992294400 134512640 135751879 4288243120 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 3959 3506 147 303 0 3654 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15836 [startup+3.10054 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28163 /proc/meminfo: memFree=1775264/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=23892 CPUtime=3.09 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 5985 0 0 0 303 6 0 0 25 0 1 0 25513259 24465408 5525 1992294400 134512640 135751879 4288243120 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 5973 5526 147 303 0 5668 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23892 [startup+6.30113 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28163 /proc/meminfo: memFree=1759888/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=37816 CPUtime=6.29 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 9462 0 0 0 621 8 0 0 25 0 1 0 25513259 38723584 9002 1992294400 134512640 135751879 4288243120 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 9454 9002 147 303 0 9149 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37816 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28163 /proc/meminfo: memFree=1739428/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=56124 CPUtime=12.69 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 14052 0 0 0 1256 13 0 0 25 0 1 0 25513259 57470976 13592 1992294400 134512640 135751879 4288243120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 14031 13592 147 303 0 13726 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 56124 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28163 /proc/meminfo: memFree=1713388/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=81632 CPUtime=25.48 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 20391 0 0 0 2527 21 0 0 25 0 1 0 25513259 83591168 19931 1992294400 134512640 135751879 4288243120 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 20408 19931 147 303 0 20103 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81632 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28163 /proc/meminfo: memFree=1672716/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=121976 CPUtime=51.08 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 30456 0 0 0 5077 31 0 0 25 0 1 0 25513259 124903424 29996 1992294400 134512640 135751879 4288243120 18446744073709551615 134616507 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 30494 29996 147 303 0 30189 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 121976 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28165 /proc/meminfo: memFree=1635764/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=158464 CPUtime=102.26 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 39566 0 0 0 10186 40 0 0 25 0 1 0 25513259 162267136 39106 1992294400 134512640 135751879 4288243120 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 39616 39106 147 303 0 39311 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 158464 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28167 /proc/meminfo: memFree=1583188/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=211172 CPUtime=162.24 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 52691 0 0 0 16168 56 0 0 25 0 1 0 25513259 216240128 52231 1992294400 134512640 135751879 4288243120 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 52793 52231 148 303 0 52488 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 211172 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28167 /proc/meminfo: memFree=1581576/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=212628 CPUtime=166.23 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 53054 0 0 0 16567 56 0 0 25 0 1 0 25513259 217731072 52594 1992294400 134512640 135751879 4288243120 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 53157 52594 148 303 0 52852 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 212628 [startup+172.709 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28167 /proc/meminfo: memFree=1578600/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=215752 CPUtime=172.63 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 53805 0 0 0 17206 57 0 0 25 0 1 0 25513259 220930048 53345 1992294400 134512640 135751879 4288243120 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 53938 53345 148 303 0 53633 0 Current children cumulated CPU time (s) 172.63 Current children cumulated vsize (KiB) 215752 [startup+175.902 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28167 /proc/meminfo: memFree=1577360/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=216940 CPUtime=175.84 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 54104 0 0 0 17526 58 0 0 25 0 1 0 25513259 222146560 53644 1992294400 134512640 135751879 4288243120 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 54235 53644 148 303 0 53930 0 Current children cumulated CPU time (s) 175.84 Current children cumulated vsize (KiB) 216940 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28167 /proc/meminfo: memFree=1576740/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=218132 CPUtime=179.02 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 54400 0 0 0 17844 58 0 0 25 0 1 0 25513259 223367168 53940 1992294400 134512640 135751879 4288243120 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 54533 53940 148 303 0 54228 0 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (KiB) 218132 [startup+179.901 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28167 /proc/meminfo: memFree=1576120/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=218264 CPUtime=179.83 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 54459 0 0 0 17924 59 0 0 25 0 1 0 25513259 223502336 53999 1992294400 134512640 135751879 4288243120 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 54566 53999 148 303 0 54261 0 Current children cumulated CPU time (s) 179.83 Current children cumulated vsize (KiB) 218264 [startup+180.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28167 /proc/meminfo: memFree=1575748/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=218528 CPUtime=180.24 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 54500 0 0 0 17965 59 0 0 25 0 1 0 25513259 223772672 54040 1992294400 134512640 135751879 4288243120 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 54632 54040 148 303 0 54327 0 Current children cumulated CPU time (s) 180.24 Current children cumulated vsize (KiB) 218528 [startup+180.701 s] /proc/loadavg: 1.00 1.00 1.05 2/107 28167 /proc/meminfo: memFree=1575748/2059040 swapFree=4140476/4192956 [pid=28162] ppid=28160 vsize=221080 CPUtime=180.63 /proc/28162/stat : 28162 (wbo1.4b) R 28160 28162 27596 0 -1 4202496 55158 0 0 0 18004 59 0 0 25 0 1 0 25513259 226385920 54698 1992294400 134512640 135751879 4288243120 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28162/statm: 55270 54698 149 303 0 54965 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 221080 Child status: 0 Real time (s): 180.775 CPU time (s): 180.712 CPU user time (s): 180.093 CPU system time (s): 0.618905 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 221080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.093 system time used= 0.618905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55159 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= 586 runsolver used 0.331949 second user time and 0.840872 second system time The end
Begin job on node007 at 2010-06-14 09:04:58 IDJOB=2655880 IDBENCH=2252 IDSOLVER=1161 FILE ID=node007/2655880-1276499098 PBS_JOBID= 11173396 Free space on /tmp= 62484 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-1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655880-1276499098/watcher-2655880-1276499098 -o /tmp/evaluation-result-2655880-1276499098/solver-2655880-1276499098 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655880-1276499098.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc RANDOM SEED=1569955268 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1793036 kB Buffers: 78076 kB Cached: 106996 kB SwapCached: 6948 kB Active: 99224 kB Inactive: 99880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1793036 kB SwapTotal: 4192956 kB SwapFree: 4140476 kB Dirty: 4028 kB Writeback: 0 kB AnonPages: 11592 kB Mapped: 12916 kB Slab: 45168 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180980 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= 62480 MiB End job on node007 at 2010-06-14 09:07:59